Pascal Van Hentenryck
Orcid: 0000-0001-7085-9994Affiliations:
- Georgia Institute of Technology, School of Industrial and Systems Engineering, Atlanta, GA, USA
- Brown University, Providence, RI, USA (former)
According to our database1,
Pascal Van Hentenryck
authored at least 427 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.brown.edu
On csauthors.net:
Bibliography
2024
IEEE Trans. Intell. Transp. Syst., August, 2024
Polyhedral Relaxations for Optimal Pump Scheduling of Potable Water Distribution Networks.
INFORMS J. Comput., 2024
CoRR, 2024
CoRR, 2024
Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow.
CoRR, 2024
Boosting Column Generation with Graph Neural Networks for Joint Rider Trip Planning and Crew Shift Scheduling.
CoRR, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
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
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
IEEE Trans. Smart Grid, November, 2023
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
CoRR, 2023
Strong Mixed-Integer Formulations for Transmission Expansion Planning with FACTS Devices.
CoRR, 2023
CoRR, 2023
Impacts of Differential Privacy on Fostering more Racially and Ethnically Diverse Elementary Schools.
CoRR, 2023
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
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
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
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
J. Artif. Intell. Res., 2022
INFORMS J. Comput., 2022
Confidence-Aware Graph Neural Networks for Learning Reliability Assessment Commitments.
CoRR, 2022
Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
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
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022
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
Networks, 2021
Math. Program. Comput., 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
CoRR, 2021
Learning Model-Based Vehicle-Relocation Decisions for Real-Time Ride-Sharing: Hybridizing Learning and Optimization.
CoRR, 2021
Commun. ACM, 2021
Artif. Intell., 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
INFORMS J. Comput., 2020
Eur. J. Oper. Res., 2020
Combining Deep Learning and Optimization for Security-Constrained Optimal Power Flow.
CoRR, 2020
CoRR, 2020
Constraints An Int. J., 2020
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program.
AI Mag., 2020
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
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
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
Transp. Sci., 2019
Guest Editorial Special Issue on Analysis, Control, and Optimization of Energy Networks.
IEEE Trans. Control. Netw. Syst., 2019
INFORMS J. Comput., 2019
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
CoRR, 2019
CoRR, 2019
Modeling Heterogeneity in Mode-Switching Behavior Under a Mobility-on-Demand Transit System: An Interpretable Machine Learning Approach.
CoRR, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
Eur. J. Oper. Res., 2018
Modeling Stated Preference for Mobility-on-Demand Transit: A Comparison of Machine Learning and Logit Models.
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
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Math. Program. Comput., 2017
Graphical Models and Belief Propagation-hierarchy for Optimal Physics-Constrained Network Flows.
CoRR, 2017
Proceedings of the 26th International Conference on World Wide Web, 2017
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
Proceedings of the Principles and Practice of Constraint Programming, 2017
Proceedings of the 2017 American Control Conference, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
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
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
Proceedings of the Power Systems Computation Conference, 2016
Proceedings of the Power Systems Computation Conference, 2016
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
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Tenth International Conference on Web and Social Media, 2016
Proceedings of the 49th Hawaii International Conference on System Sciences, 2016
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
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
CoRR, 2015
CoRR, 2015
CoRR, 2015
The Benefits of Segmentation in Trial-Offer Markets with Social Influence and Position Bias.
CoRR, 2015
Constraints An Int. J., 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
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
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
EURO J. Transp. Logist., 2014
Optimizing Expected Utility in a Multinomial Logit Model with Position Bias and Social Influence.
CoRR, 2014
Constraints An Int. J., 2014
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
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
Proceedings of the Hybrid Metaheuristics - 9th International Workshop, HM 2014, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
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
Proceedings of the ECAI 2012, 2012
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012
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
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
IEEE ACM Trans. Comput. Biol. Bioinform., 2011
Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201).
Dagstuhl Reports, 2011
Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS.
Constraints An Int. J., 2011
An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization.
Ann. Oper. Res., 2011
Proceedings of the IJCAI 2011, 2011
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling.
Proceedings of the IJCAI 2011, 2011
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
2010
Constraints An Int. J., 2010
Proceedings of the Biocomputing 2010: Proceedings of the Pacific Symposium, 2010
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
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
Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009
Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009
Constraints An Int. J., 2009
Constraints An Int. J., 2009
Optimizing Network Deployment of Formally-Specified Distributed Systems.
Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009
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
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009
Proceedings of the Principles and Practice of Constraint Programming, 2009
Proceedings of the Principles and Practice of Constraint Programming, 2009
Proceedings of the Principles and Practice of Constraint Programming, 2009
Proceedings of the Principles and Practice of Constraint Programming, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
CoRR, 2008
CoRR, 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
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
Proceedings of the Principles and Practice of Constraint Programming, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Constraints An Int. J., 2007
Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs.
Proceedings of the IJCAI 2007, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
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 two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows.
Comput. Oper. Res., 2006
Proceedings of the Parallel Problem Solving from Nature, 2006
Proceedings of the Hybrid Metaheuristics, Third International Workshop, 2006
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Online stochastic combinatorial optimization.
MIT Press, ISBN: 978-0-262-22080-4, 2006
2005
Introduction to the Special Issue on Principles and Practice of Constraint Programming.
Constraints An Int. J., 2005
Proceedings of the Abstraction, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
Proceedings of the IEEE Congress on Evolutionary Computation, 2005
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005
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
Transp. Sci., 2004
ACM Trans. Comput. Log., 2004
Oper. Res. Lett., 2004
Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers.
Oper. Res., 2004
Inf. Comput., 2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004
Proceedings of the Principles and Practice of Constraint Programming, 2004
Proceedings of the Advances in Computer Science, 2004
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
Proceedings of the IJCAI-03, 2003
Proceedings of the IJCAI-03, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
2002
A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations.
SIAM J. Numer. Anal., 2002
Constraints An Int. J., 2002
A Constraint Satisfaction Approach to the Robust Spanning Tree Problem with Interval Data.
Proceedings of the UAI '02, 2002
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
Proceedings of the Principles and Practice of Constraint Programming, 2001
2000
Combinations of abstract domains for logic programming: open product and generic pattern construction.
Sci. Comput. Program., 2000
J. Log. Program., 2000
A Preview of OPL.
Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000
1999
Comput. Artif. Intell., 1999
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
Proceedings of the Progress in Artificial Intelligence, 1999
Proceedings of the Principles and Practice of Constraint Programming, 1999
Proceedings of the New Trends in Contraints, 1999
1998
Sci. Comput. Program., 1998
J. Glob. Optim., 1998
1997
Helios: A Modeling Language for Global Optimization and its Implementation in Newton.
Theor. Comput. Sci., 1997
Constraints An Int. J., 1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Proceedings of the Euro-Par '97 Parallel Processing, 1997
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997
MIT Press, ISBN: 978-0-262-72027-4, 1997
1996
Ann. Math. Artif. Intell., 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
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
Proceedings of the Principles and Practice of Constraint Programming, 1995
1994
ACM Trans. Program. Lang. Syst., 1994
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
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994
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
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
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993
1992
Ann. Math. 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
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
Proceedings of the Programming Language Implementation and Logic Programming, 1991
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
Proceedings of the Compcon Spring '91, San Francisco, 1991
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
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
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
Proceedings of the 9th International Conference on Automated Deduction, 1988
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
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
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986