2024
Public Transit for Special Events: Ridership Prediction and Train Scheduling.
IEEE Trans. Intell. Transp. Syst., August, 2024
Rev. Ouverte Intell. Artif., 2024
Polyhedral Relaxations for Optimal Pump Scheduling of Potable Water Distribution Networks.
INFORMS J. Comput., 2024
Path-Based Formulations for the Design of On-demand Multimodal Transit Systems with Adoption Awareness.
INFORMS J. Comput., 2024
High-Spatial Resolution Transmission and Storage Expansion Planning for High Renewable Grids: A Case Study.
CoRR, 2024
Confidence-Aware Deep Learning for Load Plan Adjustments in the Parcel Service Industry.
CoRR, 2024
Differential Privacy Overview and Fundamental Techniques.
CoRR, 2024
Parallel Batch Scheduling With Incompatible Job Families Via Constraint Programming.
CoRR, 2024
Weather-Informed Probabilistic Forecasting and Scenario Generation in Power Systems.
CoRR, 2024
Contextual Stochastic Optimization for School Desegregation Policymaking.
CoRR, 2024
Defining 'Good': Evaluation Framework for Synthetic Smart Meter Data.
CoRR, 2024
Two-Stage ML-Guided Decision Rules for Sequential Decision Making under Uncertainty.
CoRR, 2024
Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow.
CoRR, 2024
Dual Lagrangian Learning for Conic Optimization.
CoRR, 2024
Dual Interior-Point Optimization Learning.
CoRR, 2024
Boosting Column Generation with Graph Neural Networks for Joint Rider Trip Planning and Crew Shift Scheduling.
CoRR, 2024
AI4OPT: AI Institute for Advances in Optimization.
AI Mag., 2024
Empathy and AI: Achieving Equitable Microtransit for Underserved Communities.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
On the Effects of Fairness to Adversarial Vulnerability.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Compact Optimality Verification for Optimization Proxies.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Investigating Large Neighbourhood Search for Bus Driver Scheduling.
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
Learning Joint Models of Prediction and Optimization.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024
A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design.
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024
Finding ε and δ of Traditional Disclosure Control Systems.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Learning Regionally Decentralized AC Optimal Power Flows With ADMM.
IEEE Trans. Smart Grid, November, 2023
Capturing Travel Mode Adoption in Designing On-Demand Multimodal Transit Systems.
Transp. Sci., March, 2023
Self-Supervised Learning for Large-Scale Preventive Security Constrained DC Optimal Power Flow.
CoRR, 2023
Predict-Then-Optimize by Proxy: Learning Joint Models of Prediction and Optimization.
CoRR, 2023
Learning Optimal Power Flow Value Functions with Input-Convex Neural Networks.
CoRR, 2023
Dual Conic Proxies for AC Optimal Power Flow.
CoRR, 2023
Strong Mixed-Integer Formulations for Transmission Expansion Planning with FACTS Devices.
CoRR, 2023
Asset Bundling for Wind Power Forecasting.
CoRR, 2023
MARTA Reach: Piloting an On-Demand Multimodal Transit System in Atlanta.
CoRR, 2023
Optimization-based Learning for Dynamic Load Planning in Trucking Service Networks.
CoRR, 2023
Modern Constraint Programming Education: Lessons for the Future.
CoRR, 2023
Impacts of Differential Privacy on Fostering more Racially and Ethnically Diverse Elementary Schools.
CoRR, 2023
End-to-End Feasible Optimization Proxies for Large-Scale Economic Dispatch.
CoRR, 2023
Artificial Intelligence/Operations Research Workshop 2 Report Out.
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2023
Redrawing attendance boundaries to promote racial and ethnic diversity in elementary schools.
CoRR, 2023
Changes in Commuter Behavior from COVID-19 Lockdowns in the Atlanta Metropolitan Area.
CoRR, 2023
Privacy and Bias Analysis of Disclosure Avoidance Systems.
CoRR, 2023
Two-Stage Learning For the Flexible Job Shop Scheduling Problem.
CoRR, 2023
Compact Optimization Learning for AC Optimal Power Flow.
CoRR, 2023
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
SF-PATE: Scalable, Fair, and Private Aggregation of Teacher Ensembles.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper).
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
Self-Supervised Primal-Dual Learning for Constrained Optimization.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Spatio-Temporal Point Processes With Attention for Traffic Congestion Event Modeling.
IEEE Trans. Intell. Transp. Syst., 2022
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation.
J. Artif. Intell. Res., 2022
Benders Subproblem Decomposition for Bilevel Problems with Convex Follower.
INFORMS J. Comput., 2022
Confidence-Aware Graph Neural Networks for Learning Reliability Assessment Commitments.
CoRR, 2022
Fairness Increases Adversarial Vulnerability.
CoRR, 2022
Just-In-Time Learning for Operational Risk Assessment in Power Grids.
CoRR, 2022
Active Bucketized Learning for ACOPF Optimization Proxies.
CoRR, 2022
Risk-Aware Control and Optimization for High-Renewable Power Grids.
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2022
End-to-End Learning for Fair Ranking Systems.
Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022
Post-processing of Differentially Private Data: A Fairness Perspective.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Differential Privacy and Fairness in Decisions and Learning Tasks: A Survey.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Large-scale Zone-based Evacuation Planning: Generating Convergent and Non-Preemptive Evacuation Plans via Column Generation.
Proceedings of the 55th Hawaii International Conference on System Sciences, 2022
Sequence Variables for Routing Problems.
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022
Fast Approximations for Job Shop Scheduling: A Lagrangian Dual Deep Learning Method.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Large-scale zone-based evacuation planning, Part II: Macroscopic and microscopic evaluations.
Networks, 2021
Large-scale zone-based evacuation planning - Part I: Models and algorithms.
Networks, 2021
MiniCP: a lightweight solver for constraint programming.
Math. Program. Comput., 2021
Market segmentation in online platforms.
Eur. J. Oper. Res., 2021
Learning Optimization Proxies for Large-Scale Security-Constrained Economic Dispatch.
CoRR, 2021
Learning Model Predictive Controllers for Real-Time Ride-Hailing Vehicle Relocation and Pricing Decisions.
CoRR, 2021
Data-Driven Time Series Reconstruction for Modern Power Systems Research.
CoRR, 2021
Public Transit for Special Events: Ridership Prediction and Train Optimization.
CoRR, 2021
Learning Model-Based Vehicle-Relocation Decisions for Real-Time Ride-Sharing: Hybridizing Learning and Optimization.
CoRR, 2021
Decision Making with Differential Privacy under a Fairness Lens.
CoRR, 2021
Spatial Network Decomposition for Fast and Scalable AC-OPF Learning.
CoRR, 2021
Load Embeddings for Scalable AC-OPF Learning.
CoRR, 2021
Technical perspective: Finding the sweet spot amid accuracy and performance.
Commun. ACM, 2021
Differential privacy of hierarchical Census data: An optimization approach.
Artif. Intell., 2021
Learning Hard Optimization Problems: A Data Generation Perspective.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Real-Time Pricing Optimization for Ride-Hailing Quality of Service.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
End-to-End Constrained Optimization Learning: A Survey.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Decision Making with Differential Privacy under a Fairness Lens.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Bias and Variance of Post-processing in Differential Privacy.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Branch and Price for Bus Driver Scheduling with Complex Break Constraints.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Differentially Private and Fair Deep Learning: A Lagrangian Dual Approach.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Differential Privacy for Power Grid Obfuscation.
IEEE Trans. Smart Grid, 2020
Joint Vehicle and Crew Routing and Scheduling.
Transp. Sci., 2020
The Commute Trip-Sharing Problem.
Transp. Sci., 2020
Optimizing inspection routes in pipeline networks.
Reliab. Eng. Syst. Saf., 2020
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check.
Oper. Res. Forum, 2020
Communication-Constrained Expansion Planning for Resilient Distribution Systems.
INFORMS J. Comput., 2020
Constraint programming models for integrated container terminal operations.
Eur. J. Oper. Res., 2020
The Benefits of Autonomous Vehicles for Community-Based Trip Sharing.
CoRR, 2020
Combining Deep Learning and Optimization for Security-Constrained Optimal Power Flow.
CoRR, 2020
High-Fidelity Machine Learning Approximations of Large-Scale Optimal Power Flow.
CoRR, 2020
Differentially Private Convex Optimization with Feasibility Guarantees.
CoRR, 2020
Pricing under a multinomial logit model with non linear network effects.
CoRR, 2020
Electricity-Aware Heat Unit Commitment: A Bid-Validity Approach.
CoRR, 2020
Differentially Private Optimal Power Flow for Distribution Grids.
CoRR, 2020
Bilevel Optimization for Differentially Private Optimization.
CoRR, 2020
A Lagrangian Dual Framework for Deep Neural Networks with Constraints.
CoRR, 2020
The flexible and real-time commute trip sharing problems.
Constraints An Int. J., 2020
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
AI Mag., 2020
Lagrangian Duality for Constrained Deep Learning.
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Applied Data Science and Demo Track, 2020
Real-Time Dispatching of Large-Scale Ride-Sharing Systems: Integrating Optimization, Machine Learning, and Model Predictive Control.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Differential Privacy for Stackelberg Games.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
OptStream: Releasing Time Series Privately (Extended Abstract).
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
Bilevel Optimization for On-Demand Multimodal Transit Systems.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
Differentially Private Distributed Optimal Power Flow.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Benders Decomposition for the Design of a Hub and Shuttle Public Transit System.
Transp. Sci., 2019
Guest Editorial Special Issue on Analysis, Control, and Optimization of Energy Networks.
IEEE Trans. Control. Netw. Syst., 2019
OptStream: Releasing Time Series Privately.
J. Artif. Intell. Res., 2019
Dynamic Compressor Optimization in Natural Gas Pipeline Systems.
INFORMS J. Comput., 2019
Assortment optimization under the Sequential Multinomial Logit Model.
Eur. J. Oper. Res., 2019
PPSM: A Privacy-Preserving Stackelberg Mechanism: Privacy Guarantees for the Coordination of Sequential Electricity and Gas Markets.
CoRR, 2019
Optimization Models for Estimating Transit Network Origin-Destination Flows with AVL/APC Data.
CoRR, 2019
Distilling Black-Box Travel Mode Choice Model for Behavioral Interpretation.
CoRR, 2019
A Bid-Validity Mechanism for Sequential Heat and Electricity Market Clearing.
CoRR, 2019
Shared E-scooters: Business, Pleasure, or Transit?
CoRR, 2019
Privacy-Preserving Obfuscation for Distributed Power Systems.
CoRR, 2019
Modeling Heterogeneity in Mode-Switching Behavior Under a Mobility-on-Demand Transit System: An Interpretable Machine Learning Approach.
CoRR, 2019
Privacy-Preserving Obfuscation of Critical Infrastructure Networks.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Column Generation for Real-Time Ride-Sharing Operations.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019
Differential Privacy of Hierarchical Census Data: An Optimization Approach.
Proceedings of the Principles and Practice of Constraint Programming, 2019
Privacy-Preserving Federated Data Sharing.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
Constraint-Based Local Search.
Proceedings of the Handbook of Heuristics., 2018
Popularity signals in trial-offer markets with social influence and position bias.
Eur. J. Oper. Res., 2018
Modeling Stated Preference for Mobility-on-Demand Transit: A Comparison of Machine Learning and Logit Models.
CoRR, 2018
Differential Private Stream Processing of Energy Consumption.
CoRR, 2018
Joint Expansion Planning for Natural Gas and Electric Transmission with Endogenous Market Feedbacks.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018
Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018
Constrained-Based Differential Privacy: Releasing Optimal Power Flow Benchmarks Privately - Releasing Optimal Power Flow Benchmarks Privately.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018
Constrained-Based Differential Privacy for Mobility Services.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Community-Based Trip Sharing for Urban Commuting.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Convex quadratic relaxations for mixed-integer nonlinear programs in power systems.
Math. Program. Comput., 2017
Resilient Transmission Grid Design: AC Relaxation vs. DC approximation.
CoRR, 2017
Assortment Optimization under the General Luce Model.
CoRR, 2017
Graphical Models and Belief Propagation-hierarchy for Optimal Physics-Constrained Network Flows.
CoRR, 2017
A microkernel architecture for constraint programming.
Constraints An Int. J., 2017
Graphical models for optimal power flow.
Constraints An Int. J., 2017
Expecting to be HIP: Hawkes Intensity Processes for Social Media Popularity.
Proceedings of the 26th International Conference on World Wide Web, 2017
Taming the Unpredictability of Cultural Markets with Social Influence.
Proceedings of the 26th International Conference on World Wide Web, 2017
Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows.
Proceedings of the Principles and Practice of Constraint Programming, 2017
A Column-Generation Algorithm for Evacuation Planning with Elementary Paths.
Proceedings of the Principles and Practice of Constraint Programming, 2017
A nonlinear optimization model for transient stable line switching.
Proceedings of the 2017 American Control Conference, 2017
Taming the Matthew Effect in Online Markets with Social Influence.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Convex Relaxations for Gas Expansion Planning.
INFORMS J. Comput., 2016
New developments in metaheuristics and their applications - Selected extended contributions from the 10th Metaheuristics International Conference (MIC 2013).
J. Heuristics, 2016
Can this video be promoted? - Endogenous and exogenous popularity processes in social media.
CoRR, 2016
Trial-Offer Markets with Continuation.
CoRR, 2016
A branch-and-price-and-check model for the vehicle routing problem with location congestion.
Constraints An Int. J., 2016
Assortment optimization under a multinomial logit model with position bias and social influence.
4OR, 2016
Optimal Resilient transmission Grid Design.
Proceedings of the Power Systems Computation Conference, 2016
Polynomial SDP cuts for Optimal Power Flow.
Proceedings of the Power Systems Computation Conference, 2016
Network flow and copper plate relaxations for AC transmission systems.
Proceedings of the Power Systems Computation Conference, 2016
Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Interdependent Scheduling Games.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Aligning Popularity and Quality in Online Cultural Markets.
Proceedings of the Tenth International Conference on Web and Social Media, 2016
Convex Optimization for Joint Expansion Planning of Natural Gas and Power Systems.
Proceedings of the 49th Hawaii International Conference on System Sciences, 2016
Optimal Flood Mitigation over Flood Propagation Approximations.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016
Parallel Composition of Scheduling Solvers.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016
Efficient dynamic compressor optimization in natural gas transmission systems.
Proceedings of the 2016 American Control Conference, 2016
Intelligent Habitat Restoration Under Uncertainty.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Benders Decomposition for Large-Scale Prescriptive Evacuations.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Optimizing Infrastructure Enhancements for Evacuation Planning.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
A Multistage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time Windows.
Transp. Sci., 2015
Transmission system repair and restoration.
Math. Program., 2015
Bargaining Mechanisms for One-Way Games.
Games, 2015
Popularity Signals in Trial-Offer Markets.
CoRR, 2015
The Complexity of Switching and FACTS Maximum-Potential-Flow Problems.
CoRR, 2015
Nowcasting Disaster Damage.
CoRR, 2015
On the Optimality and Predictability of Cultural Markets with Social Influence.
CoRR, 2015
Simulation and Analysis of Container Freight Train Operations at Port Botany.
CoRR, 2015
DistFlow Extensions for AC Transmission Systems.
CoRR, 2015
The QC Relaxation: Theoretical and Computational Results on Optimal Power Flow.
CoRR, 2015
The Benefits of Segmentation in Trial-Offer Markets with Social Influence and Position Bias.
CoRR, 2015
A column-generation approach for joint mobilization and evacuation planning.
Constraints An Int. J., 2015
A Bargaining Mechanism for One-Way Games.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
A Constraint Programming Approach for Non-preemptive Evacuation Scheduling.
Proceedings of the Principles and Practice of Constraint Programming, 2015
Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization.
Proceedings of the Principles and Practice of Constraint Programming, 2015
Emerging Architectures for Global System Science.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Power System Restoration With Transient Stability.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Convergent Plans for Large-Scale Evacuations.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
A Linear-Programming Approximation of AC Power Flows.
INFORMS J. Comput., 2014
Multi-period vehicle loading with stochastic release dates.
EURO J. Transp. Logist., 2014
The Complexity of DC-Switching Problems.
CoRR, 2014
AC-Feasibility on Tree Networks is NP-Hard.
CoRR, 2014
Performance of Social Network Sensors During Hurricane Sandy.
CoRR, 2014
Optimizing Expected Utility in a Multinomial Logit Model with Position Bias and Social Influence.
CoRR, 2014
Measuring and Optimizing Cultural Markets.
CoRR, 2014
Looking into the crystal-ball: a bright future for CP.
Constraints An Int. J., 2014
Optimal and efficient filtering algorithms for table constraints.
Constraints An Int. J., 2014
The future of optimization technology.
Constraints An Int. J., 2014
Teaching creative problem solving in a MOOC.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
Power system restoration planning with standing phase angle and voltage difference constraints.
Proceedings of the 2014 Power Systems Computation Conference, 2014
Primal and dual bounds for Optimal Transmission Switching.
Proceedings of the 2014 Power Systems Computation Conference, 2014
Transmission System Restoration: Co-optimization of repairs, load pickups, and generation dispatch.
Proceedings of the 2014 Power Systems Computation Conference, 2014
Transmission Network Expansion Planning: Bridging the gap between AC heuristics and DC approximations.
Proceedings of the 2014 Power Systems Computation Conference, 2014
A Path-Generation Matheuristic for Large Scale Evacuation Planning.
Proceedings of the Hybrid Metaheuristics - 9th International Workshop, HM 2014, 2014
NICTA Evacuation Planner: Actionable Evacuation Plans with Contraflows.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Domain Views for Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2014
Constraint-Based Lagrangian Relaxation.
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Propagating Regular Counting Constraints.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
A Conflict-Based Path-Generation Heuristic for Evacuation Planning.
CoRR, 2013
Domain consistency with forbidden values.
Constraints An Int. J., 2013
Computational Disaster Management.
Proceedings of the IJCAI 2013, 2013
Residential Demand Response under Uncertainty.
Proceedings of the Principles and Practice of Constraint Programming, 2013
The Objective-CP Optimization System.
Proceedings of the Principles and Practice of Constraint Programming, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
Explaining Propagators for Edge-Valued Decision Diagrams.
Proceedings of the Principles and Practice of Constraint Programming, 2013
Model Combinators for Hybrid Optimization.
Proceedings of the Principles and Practice of Constraint Programming, 2013
2012
LS(Graph): a constraint-based local search for constraint optimization on trees and paths.
Constraints An Int. J., 2012
Constraint-based Very Large-Scale Neighborhood search.
Constraints An Int. J., 2012
,
,
,
,
,
,
,
,
,
,
AI Mag., 2012
Joint Assessment and Restoration of Power Systems.
Proceedings of the ECAI 2012, 2012
Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012
Activity-Based Search for Black-Box Constraint Programming Solvers.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012
Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012
Constraint Satisfaction over Bit-Vectors.
Proceedings of the Principles and Practice of Constraint Programming, 2012
An Optimal Filtering Algorithm for Table Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2012
Last-Mile Restoration for Multiple Interdependent Infrastructures.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
On Lattice Protein Structure Prediction Revisited.
IEEE ACM Trans. Comput. Biol. Bioinform., 2011
Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201).
Dagstuhl Reports, 2011
Activity-Based Search for Black-Box Contraint-Programming Solvers
CoRR, 2011
Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS.
Constraints An Int. J., 2011
Optimal deployment of eventually-serializable data services.
Ann. Oper. Res., 2011
An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization.
Ann. Oper. Res., 2011
Symmetry Breaking via LexLeader Feasibility Checkers.
Proceedings of the IJCAI 2011, 2011
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling.
Proceedings of the IJCAI 2011, 2011
Identifying Patterns in Sequences of Variables.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011
Spatial and Objective Decompositions for Very Large SCAPs.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011
Checking and Filtering Global Set Constraints.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
Large Neighborhood Search for Dial-a-Ride Problems.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
2010
CPBPV: a constraint-programming framework for bounded program verification.
Constraints An Int. J., 2010
Online stochastic optimization under time constraints.
Ann. Oper. Res., 2010
RNA Structural Segmentation.
Proceedings of the Biocomputing 2010: Proceedings of the Pacific Symposium, 2010
Boosting Set Constraint Propagation for Network Design.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
Revisiting the Soft Global Cardinality Constraint.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
Constraint-Based Local Search for Constrained Optimum Paths Problems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
Exponential Propagation for Set Variables.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
Domain Consistency with Forbidden Values.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
2009
Transparent Parallelization of Constraint Programming.
INFORMS J. Comput., 2009
Sonet Network Design Problems
Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009
A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract)
Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009
Parallel and distributed local search in COMET.
Comput. Oper. Res., 2009
Dynamic structural symmetry breaking for constraint satisfaction problems.
Constraints An Int. J., 2009
Model-driven visualizations of constraint-based local search.
Constraints An Int. J., 2009
Online stochastic reservation systems.
Ann. Oper. Res., 2009
Optimizing Network Deployment of Formally-Specified Distributed Systems.
Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009
Length-lex bound consistency for knapsack constraints.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
LS(graph & tree): a local search framework for constraint optimization on graphs and trees.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Scalable Load Balancing in Nurse to Patient Assignment Problems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009
Evaluation of Length-Lex Set Variables.
Proceedings of the Principles and Practice of Constraint Programming, 2009
Online Selection of Quorum Systems for RAMBO Reconfiguration.
Proceedings of the Principles and Practice of Constraint Programming, 2009
Constraint-Based Local Search for the Automatic Generation of Architectural Tests.
Proceedings of the Principles and Practice of Constraint Programming, 2009
Real-Time Tabu Search for Video Tracking Association.
Proceedings of the Principles and Practice of Constraint Programming, 2009
Just-In-Time Scheduling with Constraint Programming.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
Edge Finding for Cumulative Scheduling.
INFORMS J. Comput., 2008
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
CoRR, 2008
CPBVP: A Constraint-Programming Framework for Bounded Program Verification
CoRR, 2008
The Impact of Constraint Programming.
Proceedings of the ECAI 2008, 2008
Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
The Steel Mill Slab Design Problem Revisited.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
30 Years of Constraint Programming.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
Gap Reduction Techniques for Online Stochastic Project Scheduling.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
Protein Structure Prediction with Large Neighborhood Constraint Programming Search.
Proceedings of the Principles and Practice of Constraint Programming, 2008
Bound Consistency for Binary Length-Lex Set Constraints.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Strong polynomiality of resource constraint propagation.
Discret. Optim., 2007
Local Search-based Hybrid Algorithms for Finding Golomb Rulers.
Constraints An Int. J., 2007
Scheduling social tournaments locally.
AI Commun., 2007
Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs.
Proceedings of the IJCAI 2007, 2007
Waiting and Relocation Strategies in Online Stochastic Vehicle Routing.
Proceedings of the IJCAI 2007, 2007
Parallelizing Constraint Programs Transparently.
Proceedings of the Principles and Practice of Constraint Programming, 2007
Propagating Knapsack Constraints in Sublinear Time.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Population-Based Simulated Annealing for Traveling Tournaments.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
A simulated annealing approach to the traveling tournament problem.
J. Sched., 2006
A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows.
Comput. Oper. Res., 2006
Nondeterministic Control for Hybrid Search.
Constraints An Int. J., 2006
A Memetic Approach to Golomb Rulers.
Proceedings of the Parallel Problem Solving from Nature, 2006
Scheduling Social Golfers with Memetic Evolutionary Programming.
Proceedings of the Hybrid Metaheuristics, Third International Workshop, 2006
Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006
Online Stochastic Reservation Systems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006
High-Level Nondeterministic Abstractions in.
Proceedings of the Principles and Practice of Constraint Programming, 2006
Distributed Constraint-Based Local Search.
Proceedings of the Principles and Practice of Constraint Programming, 2006
Differentiable Invariants.
Proceedings of the Principles and Practice of Constraint Programming, 2006
Static and Dynamic Structural Symmetry Breaking.
Proceedings of the Principles and Practice of Constraint Programming, 2006
A Note on Low Autocorrelation Binary Sequences.
Proceedings of the Principles and Practice of Constraint Programming, 2006
Length-Lex Ordering for Set CSPs.
Proceedings of the Proceedings, 2006
Online stochastic combinatorial optimization.
MIT Press, ISBN: 978-0-262-22080-4, 2006
2005
Safe and tight linear estimators for global optimization.
Math. Program., 2005
A Modeling Layer for Constraint-Programming Libraries.
INFORMS J. Comput., 2005
Maintaining Longest Paths Incrementally.
Constraints An Int. J., 2005
Contraint-Based Combinators for Local Search.
Constraints An Int. J., 2005
Control Abstractions for Local Search.
Constraints An Int. J., 2005
Introduction to the Special Issue on Principles and Practice of Constraint Programming.
Constraints An Int. J., 2005
Compositional Derivation of Symmetries for Constraint Satisfaction.
Proceedings of the Abstraction, 2005
Structural Symmetry Breaking.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Scheduling Social Golfers Locally.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005
The Comet Programming Language and System.
Proceedings of the Principles and Practice of Constraint Programming, 2005
Parallel Local Search in Comet.
Proceedings of the Principles and Practice of Constraint Programming, 2005
Maintaining Longest Paths in Cyclic Graphs.
Proceedings of the Principles and Practice of Constraint Programming, 2005
Scheduling Social Tournaments.
Proceedings of the Principles and Practice of Constraint Programming, 2005
Sub-optimality Approximations.
Proceedings of the Principles and Practice of Constraint Programming, 2005
A simple hybrid evolutionary algorithm for finding Golomb rulers.
Proceedings of the IEEE Congress on Evolutionary Computation, 2005
Minimizing Breaks in Sport Scheduling with Local Search.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005
Online Stochastic Optimization Without Distributions.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005
Constraint-based local search.
MIT Press, ISBN: 978-0-262-22077-4, 2005
2004
A Two-Stage Hybrid Local Search for the Vehicle Routing Problem with Time Windows.
Transp. Sci., 2004
A decomposition-based implementation of search strategies.
ACM Trans. Comput. Log., 2004
On the complexity of the robust spanning tree problem with interval data.
Oper. Res. Lett., 2004
Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers.
Oper. Res., 2004
A simple and deterministic competitive algorithm for online facility location.
Inf. Comput., 2004
A simple tabu search for warehouse location.
Eur. J. Oper. Res., 2004
Parameterized Interfaces for Open System Verification of Product Lines.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
Scheduling Abstractions for Local Search.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004
Constraint-Based Combinators for Local Search.
Proceedings of the Principles and Practice of Constraint Programming, 2004
Online Stochastic and Robust Optimization.
Proceedings of the Advances in Computer Science, 2004
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling.
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004
The Value of Consensus in Online Stochastic Scheduling.
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004
Regrets Only! Online Stochastic Optimization under Time Constraints.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
Tractable Symmetry Breaking for CSPs with Interchangeable Values.
Proceedings of the IJCAI-03, 2003
Dynamic Vehicle Routing with Stochastic Requests.
Proceedings of the IJCAI-03, 2003
A Simulated Annealing Approach to the Travelling Tournament Problem.
Proceedings of the IJCAI-03, 2003
Maintaining Longest Paths Incrementally.
Proceedings of the Principles and Practice of Constraint Programming, 2003
To Be or Not to Be ... a Global Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2003
Proceedings of the PCK50, 2003
2002
Sequence-based abstract interpretation of Prolog.
Theory Pract. Log. Program., 2002
Theor. Comput. Sci., 2002
A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations.
SIAM J. Numer. Anal., 2002
Constraint and Integer Programming in OPL.
INFORMS J. Comput., 2002
Consistency Techniques in Ordinary Differential Equations.
Constraints An Int. J., 2002
A Constraint Satisfaction Approach to the Robust Spanning Tree Problem with Interval Data.
Proceedings of the UAI '02, 2002
A constraint-based architecture for local search.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002
Du filtrage optimal à la stabilité parfaite.
Proceedings of the Programmation en logique avec contraintes, 2002
2001
In honor of Alain Colmerauer's 60th birthday.
Theory Pract. Log. Program., 2001
A Constraint Satisfaction Approach to Parametric Differential Equations.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Optimal Pruning in Parametric Differential Equations.
Proceedings of the Principles and Practice of Constraint Programming, 2001
2000
Search and strategies in OPL.
ACM Trans. Comput. Log., 2000
Combinations of abstract domains for logic programming: open product and generic pattern construction.
Sci. Comput. Program., 2000
Abstract Domains for Reordering CLP(R<sub>Lin</sub>) Programs.
J. Log. Program., 2000
Constraints An Int. J., 2000
Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000
1999
Localizer: A Modeling Language for Local Search.
INFORMS J. Comput., 1999
Exploiting Type Analysis for Unification in a Distributed Environment.
Comput. Artif. Intell., 1999
Constraint Satisfaction over Connected Row Convex Constraints.
Artif. Intell., 1999
Constraint Programming in OPL.
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999
Localizer: A Modeling Language for Local Search.
Proceedings of the JFPLC'99, 1999
Combinatorial Optimization in OPL Studio.
Proceedings of the Progress in Artificial Intelligence, 1999
Multistep Filtering Operators for Ordinary Differential Equations.
Proceedings of the Principles and Practice of Constraint Programming, 1999
OPL Script: Composing and Controlling Models.
Proceedings of the New Trends in Contraints, 1999
1998
Newton - Constraint Programming over Nonlinear Constraints.
Sci. Comput. Program., 1998
A Constraint Satisfaction Approach to a Circuit Design Problem.
J. Glob. Optim., 1998
Introduction to the Special Issue.
Constraints An Int. J., 1998
A Gentle Introduction to NUMERICA.
Artif. Intell., 1998
1997
Helios: A Modeling Language for Global Optimization and its Implementation in Newton.
Theor. Comput. Sci., 1997
Introduction to the Special Issue.
Constraints An Int. J., 1997
Constraint Programming: Strategic Directions.
Constraints An Int. J., 1997
Introduction to the Special Issue on Interval Constraints.
Constraints An Int. J., 1997
Numerica: A Modeling Language for Global Optimization.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Improving Distributed Unification through Type Analysis.
Proceedings of the Euro-Par '97 Parallel Processing, 1997
A Modeling Language for Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997
Numerica - A Modeling Language for Global Optimization.
MIT Press, ISBN: 978-0-262-72027-4, 1997
1996
In Memoriam: Paris C. Kanellakis.
J. Log. Program., 1996
Strategic Directions in Constraint Programming.
ACM Comput. Surv., 1996
Constraint Programming for Combinatorial Search Problems.
ACM Comput. Surv., 1996
Redundancy Elimination with a Lexicographic Solved Form.
Ann. Math. Artif. Intell., 1996
Proceedings of the Logic Programming, 1996
Comsumption-based Distributed Unification.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
Backtracking without Trailing in CLP(R-lin)
ACM Trans. Program. Lang. Syst., 1995
Evaluation of the Domain <i>Prop</i>.
J. Log. Program., 1995
Type Analysis of Prolog Using Type Graphs.
J. Log. Program., 1995
Reexecution in Abstract Interpretation of Prolog.
Acta Informatica, 1995
Proceedings of the Static Analysis, 1995
Semantic Foundations of Binding Time Analysis for Imperative Programs.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995
A generic fixpoint semantics for PROLOG and its application for abstract interpretation.
Proceedings of the JFPLC'95, 1995
Constraint Solving for Combinatorial Search Problems: A Tutorial.
Proceedings of the Principles and Practice of Constraint Programming, 1995
1994
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG.
ACM Trans. Program. Lang. Syst., 1994
Design, Implementation, and Evaluation of the Constraint Language cc(FD)
Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut.
Proceedings of the Logic Programming, 1994
Cardinality Analysis of Prolog.
Proceedings of the Logic Programming, 1994
CLP(Intervals) Revisited.
Proceedings of the Logic Programming, 1994
Combinations of Abstract Domains for Logic Programming.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994
Backtracking without Trailing in CLP(R<sub>Lin</sub>).
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994
An Abstract Interpretation Framework for (almost) Full Prolog.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation.
Softw. Pract. Exp., 1993
The Impact of Granularity in Abstract Interpretation of Prolog.
Proceedings of the Static Analysis, Third International Workshop, 1993
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog.
Proceedings of the Static Analysis, Third International Workshop, 1993
Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain <tt>Prop</tt>.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993
Constraint Programming Languages.
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993
Incremental Algorithms for Constraint Solving and Entailment over Rational Trees.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993
1992
Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming.
Ann. Math. Artif. Intell., 1992
Constraint Satisfaction Using Constraint Logic Programming.
Artif. Intell., 1992
A Generic Arc-Consistency Algorithm and its Specializations.
Artif. Intell., 1992
On the Design of Generic Abstract Interpretation Frameworks.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992
Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation.
Proceedings of the Programming Language Implementation and Logic Programming, 1992
1991
Incremental Search in Constraint Logic Programming.
New Gener. Comput., 1991
Constraint logic programming.
Knowl. Eng. Rev., 1991
On the Handling of Disequations in CLP over Linear Rational Arithmetic.
Proceedings of the Constraint Logic Programming, 1991
A propos des redondances dans les systèmes d'inéquations linéaires.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
Operational Semantics of Constraint Logic Programming over Finite Domains.
Proceedings of the Programming Language Implementation and Logic Programming, 1991
An Efficient Arc Consistency Algorithm for a Class of CSP Problems.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming.
Proceedings of the Logic Programming, 1991
A Generic Abstract Interpretation Algorithm and its Complexity Analysis.
Proceedings of the Logic Programming, 1991
The CLP language CHIP: constraint solving and applications.
Proceedings of the Compcon Spring '91, San Francisco, 1991
1990
Solving Large Combinatorial Problems in Logic Programming.
J. Log. Program., 1990
Constraint Logic Programming: From Theory to Applications.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990
Incremental Constraint Satisfaction in Logic Programming.
Proceedings of the Logic Programming, 1990
Construction of CLP Programs.
Proceedings of the Logic Programming, 1990
1989
Simulation of Hybrid Circuits in Constraint Logic Programming.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys.
Proceedings of the Logic Programming, 1989
Constraint satisfaction in logic programming.
Logic programming, MIT Press, ISBN: 978-0-262-08181-8, 1989
1988
A constraint approach to mastermind in logic programming.
SIGART Newsl., 1988
Applications of CHIP to Industrial and Engineering Problems.
Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, 1988
Solving a Cutting-Stock Problem in Constraint Logic Programming.
Proceedings of the Logic Programming, 1988
The Constraint Logic Programming Language CHIP.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
Solving the Car-Sequencing Problem in Constraint Logic Programming.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988
The CHIP System: Constraint Handling In Prolog.
Proceedings of the 9th International Conference on Automated Deduction, 1988
Generality versus Specificity: An Experience with AI and OR Techniques.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988
1987
Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming.
J. Log. Program., 1987
A Theoretical Framework for Consistency Techniques in Logic Programming.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987
Forward Checking in Logic Programming.
Proceedings of the Logic Programming, 1987
1986
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques.
Proceedings of the SPLT'86, 1986
Domains in Logic Programming.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986