Pascal Van Hentenryck

According to our database1, Pascal Van Hentenryck
  • authored at least 328 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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 Sequential Multinomial Logit Model.
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, 2017

Graphical models for optimal power flow.
Constraints, 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 Journal on Computing, 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

Benders Decomposition for the Design of a Hub and Shuttle Public Transit System.
CoRR, 2016

Trial-Offer Markets with Continuation.
CoRR, 2016

Graphical Models for Optimal Power Flow.
CoRR, 2016

Interdependent Scheduling Games.
CoRR, 2016

A branch-and-price-and-check model for the vehicle routing problem with location congestion.
Constraints, 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.
Transportation Science, 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

A Constraint Programming Approach for Non-Preemptive Evacuation Scheduling.
CoRR, 2015

Network Flow and Copper Plate Relaxations for AC Transmission Systems.
CoRR, 2015

DistFlow Extensions for AC Transmission Systems.
CoRR, 2015

The QC Relaxation: Theoretical and Computational Results on Optimal Power Flow.
CoRR, 2015

Convex Relaxations for Gas Expansion Planning.
CoRR, 2015

The Benefits of Segmentation in Trial-Offer Markets with Social Influence and Position Bias.
CoRR, 2015

Bargaining Mechanisms for One-Way Games.
CoRR, 2015

A column-generation approach for joint mobilization and evacuation planning.
Constraints, 2015

A Bargaining Mechanism for One-Way Games.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Joint Vehicle and Crew Routing and Scheduling.
Proceedings of the Principles and Practice of Constraint Programming, 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 Journal on Computing, 2014

A Microkernel Architecture for Constraint Programming.
CoRR, 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

Domain Views for Constraint Programming.
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, 2014

Optimal and efficient filtering algorithms for table constraints.
Constraints, 2014

The future of optimization technology.
Constraints, 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

One-way games.
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
Crowdsourcing Dilemma
CoRR, 2013

A constraint satisfaction approach to the robust spanning tree problem with interval data
CoRR, 2013

A Conflict-Based Path-Generation Heuristic for Evacuation Planning.
CoRR, 2013

Propagating Regular Counting Constraints.
CoRR, 2013

Domain consistency with forbidden values.
Constraints, 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

Decide Different!
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
A Linear-Programming Approximation of AC Power Flows
CoRR, 2012

LS(Graph): a constraint-based local search for constraint optimization on trees and paths.
Constraints, 2012

Constraint-based Very Large-Scale Neighborhood search.
Constraints, 2012

AI@NICTA.
AI Magazine, 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. Biology 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, 2011

Optimal deployment of eventually-serializable data services.
Annals OR, 2011

An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization.
Annals OR, 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, 2010

Online stochastic optimization under time constraints.
Annals OR, 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 Journal on Computing, 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.
Computers & OR, 2009

Dynamic structural symmetry breaking for constraint satisfaction problems.
Constraints, 2009

Model-driven visualizations of constraint-based local search.
Constraints, 2009

Online stochastic reservation systems.
Annals OR, 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

Constraint Programming.
Proceedings of the Evolutionary Multi-Criterion Optimization, 5th International Conference, 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 Journal on Computing, 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

Optimal Deployment of Eventually-Serializable Data Services.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 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

CPBPV: A Constraint-Programming Framework for Bounded Program Verification.
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.
Discrete Optimization, 2007

Local Search-based Hybrid Algorithms for Finding Golomb Rulers.
Constraints, 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

Model-Driven Visualizations of Constraint-Based Local Search.
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. Scheduling, 2006

A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows.
Computers & OR, 2006

Nondeterministic Control for Hybrid Search.
Constraints, 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 Journal on Computing, 2005

Maintaining Longest Paths Incrementally.
Constraints, 2005

Contraint-Based Combinators for Local Search.
Constraints, 2005

Control Abstractions for Local Search.
Constraints, 2005

Introduction to the Special Issue on Principles and Practice of Constraint Programming.
Constraints, 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

Nondeterministic Control for Hybrid Search.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 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.
Transportation Science, 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.
Operations Research, 2004

A simple and deterministic competitive algorithm for online facility location.
Inf. Comput., 2004

A simple tabu search for warehouse location.
European Journal of Operational Research, 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

Control Abstractions for Local Search.
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

A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Comet in Context.
Proceedings of the PCK50, 2003

2002
Sequence-based abstract interpretation of Prolog.
TPLP, 2002

Editorial - SAS'97.
Theor. Comput. Sci., 2002

A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations.
SIAM J. Numerical Analysis, 2002

Constraint and Integer Programming in OPL.
INFORMS Journal on Computing, 2002

Consistency Techniques in Ordinary Differential Equations.
Constraints, 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.
TPLP, 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

Constraint programming.
ACM SIGSOFT Software Engineering Notes, 2000

Combinations of abstract domains for logic programming: open product and generic pattern construction.
Sci. Comput. Program., 2000

Abstract Domains for Reordering CLP(RLin) Programs.
J. Log. Program., 2000

Sequence-Based Abstract Interpretation of Prolog
CoRR, 2000

Localizer.
Constraints, 2000

1999
Localizer: A Modeling Language for Local Search.
INFORMS Journal on Computing, 1999

Exploiting Type Analysis for Unification in a Distributed Environment.
Computers and Artificial Intelligence, 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

Design, Implementation, and Evaluation of the Constraint Language cc(FD).
J. Log. Program., 1998

A Constraint Satisfaction Approach to a Circuit Design Problem.
J. Global Optimization, 1998

Introduction to the Special Issue.
Constraints, 1998

A Gentle Introduction to NUMERICA.
Artif. Intell., 1998

Consistency Techniques in Ordinary Differential Equations.
Proceedings of the Principles and Practice of Constraint Programming, 1998

1997
Helios: A Modeling Language for Global Optimization and its Implementation in Newton.
Theor. Comput. Sci., 1997

Introduction to the Special Issue.
Constraints, 1997

Constraint Programming: Strategic Directions.
Constraints, 1997

Constraint Programming for Combinatorial Search Problems.
Constraints, 1997

Introduction to the Special Issue on Interval Constraints.
Constraints, 1997

Numerica: A Modeling Language for Global Optimization.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Constraint Satisfaction over Connected Row Convex Constraints.
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

Localizer: A Modeling Language for Local Search.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 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

CLP(Rlin) Revised.
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 Prop.
J. Log. Program., 1995

Type Analysis of Prolog Using Type Graphs.
J. Log. Program., 1995

Reexecution in Abstract Interpretation of Prolog.
Acta Inf., 1995

LSign Reordered
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(RLin).
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

Type Analysis of Prolog Using Type Graphs.
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. Exper., 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 Prop.
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

Reexecution in Abstract Interpretation of Prolog.
Proceedings of the Logic Programming, 1992

Experimental evaluation of a generic abstract interpretation algorithm for Prolog.
Proceedings of the ICCL'92, 1992

1991
Incremental Search in Constraint Logic Programming.
New Generation Comput., 1991

Constraint logic programming.
Knowledge Eng. Review, 1991

On the Handling of Disequations in CLP over Linear Rational Arithmetic.
WCLP, 1991

The Cardinality Operator: A New Logical Connective for Constraint Logic Programming.
WCLP, 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 Newsletter, 1988

Applications of CHIP to Industrial and Engineering Problems.
IEA/AIE (Vol. 2), 1988

Solving a Cutting-Stock Problem in Constraint Logic Programming.
Proceedings of the Logic Programming, 1988

The Constraint Logic Programming Language CHIP.
FGCS, 1988

Solving the Car-Sequencing Problem in Constraint Logic Programming.
ECAI, 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. St. Paul, 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


  Loading...