Pascal Van Hentenryck's Publications
2007
Bent, R., and Hentenryck, P. V. Randomized Adaptive Spatial Decoupling For Large-Scale Vehicle Routing with Time Windows. Twenty-Second Conference on Artificial Intelligence (AAAI'07).
Bent, R., and Hentenryck, P. V. Waiting and Relocation Strategies in Online Stochastic Vehicle Routing. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07) (Hyderabad, India, Jan 2007).
Cotta, C., Dotu, I., Fernandez, A., and Hentenryck, P. V. Local Search-Based Hybrid Algorithms for Finding Golomb Rulers. Constraints 12, 3 (2007), 263-291.
Dooms, G., Hentenryck, P. V., and Michel, L. Model-Driven Visualizations of Constraint-Based Local Search. 13th International Conference on Principles and Practice of Constraint Programming (CP'07).
Dotu, I., and Hentenryck, P. V. Scheduling Social Tournaments Locally. AI Communications 20, 3 (2007), 151-162.
Katriel, I., Sellmann, M., Upfal, E., and Hentenryck, P. V. Propagating Knapsack Constraints in Sublinear Time. Twenty-Second Conference on Artificial Intelligence (AAAI'07).
Mercier, L., and Hentenryck, P. V. Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Programs. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07) (Hyderabad, India, Jan 2007).
Mercier, L., and Hentenryck, P. V. Strong Polynomiality of Resource Constraint Propagation. Discrete Optimization 4 (2007), 288-314.
Michel, L., See, A., and Hentenryck, P. V. Parallelizing Constraint Programs Transparently. 13th International Conference on Principles and Practice of Constraint Programming (CP'07).
Hentenryck, P. V., and Bent, R. Online Stochastic Combinatorial Optimization. Prentice Hall/India, 2007.
Hentenryck, P. V., and Vergados, Y. Population-Based Simulated Annealing for Traveling Tournaments. Twenty-Second Conference on Artificial Intelligence (AAAI'07).
Hentenryck, P. V., and Wolsey, L., Eds. Lecture Notes in Computer Science (LNCS-4510) (2007), Springer Verlag.
Hentenryck, P. V., and Michel, L. Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. Twenty-Second Conference on Artificial Intelligence (AAAI'07).
2006
Hentenryck, P. V., Bent, R., and Vergados, Y. Online Stochastic Reservation Systems. Second International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. [ pdf ]
Anagnostopoulos, A., Michel, L., Van Hentenryck, P., and Vergados, Y. A Simulated Annealing Approach to the Traveling Tournament Problem. Journal of Scheduling 9 (2006), 177-193. [ pdf ]
Cotta, C., Dotu, I., Fernandez, A., and Hentenryck, P. V. A Memetic Approach to Golomb Rulers. 9th International Conference on Parallel Problem Solving From Nature. [ pdf ]
Dotu, I., and Hentenryck, P. V. A Note on Low Autocorrelation Binary Sequences. In Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP) (Nantes, France, Sep 2006), Springer.
Dotu, I., and Van Hentenryck, P. Scheduling Social Tournaments Locally. AI Communications (2006). [ pdf ]
Flener, P., Pearson, J., Sellmann, M., and Van Hentenryck, P. Static and Dynamic Structural Symmetry Breaking. In Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP) (Nantes, France, Sep 2006), Springer, pp. 695-699. [ pdf ]
Gervet, C., and Van Hentenryck, P. Length-Lex Ordering for Set CSPs. In Proceedings of the Twenty First Nathional Conference on Artificial Intelligence (AAAI) (Boston, MA, Jul 2006). [ pdf ]
Michel, L., See, A., and Van Hentenryck, P. Distributed Constraint-Based Local Search. In Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP) (Nantes, France, Sep 2006), Springer. [ pdf ]
Michel, L., See, A., and Van Hentenryck, P. High-Level Nondeterministic Abstractions in C++. In Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP) (Nantes, France, Sep 2006), Springer. [ pdf ]
Van Hentenryck, P., and Michel, L. Differentiable Invariants. In Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP) (Nantes, France, Sep 2006), Springer. [ pdf ]
Van Hentenryck, P., and Michel, L. Nondeterministic Control for Hybrid Search. Constraints (2006). [ pdf ]
Van Hentenryck, P., Bent, R., and Vergados, Y. Online Reservation Systems. In Proceedings of the Third International Conference on Integration of AI and OR Techniques (CP-AI-OR) (2006).
Hentenryck, P. V., and Bent, R. Online Stochastic Combinatorial Optimization. The MIT Press, Oct 2006.
Van Hentenryck, P., and Vergados, Y. Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealing. In Proceedings of the Third International Conference on Integration of AI and OR Techniques (CP-AI-OR) (2006). [ pdf ]
2005
Dotu, I., and Van Hentenryck, P. Scheduling Social Golfers Locally. In Proceedings of the Second International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'05) (Prague, May 2005), pp. 155-167. [ pdf ]
Van Hentenryck, P., and Michel, L. Nondeterministic Control for Hybrid Search. In Proceedings of the Second International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'05) (Prague, May 2005), pp. 380-395. [ pdf ]
Bent, R., and Van Hentenryck, P. Online Stochastic Optimization Without Distributions. In Proceedings of the 15th International Conference on Automated Planning and Scheduling (Monterey, CA, Jun 2005), pp. 171-180. [ pdf ]
Bent, R., and Hentenryck, P. V. A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows. Computers and Operations Research 33 (2005), 875-893.
Borradaile, G., and Van Hentenryck, P. Safe and Tight Linear Estimators for Global Optimization. Mathematical Programming 102, 3 (Jan 2005), 495-517. [ pdf ]
Dotu, I., and Van Hentenryck, P. A Simple Hybrid Evolutionary Algorithm for Finding Golomb Rulers. In Proceedings of the IEEE Congress on Evolutionary Computation (Edinburgh, UK, Sep 2005). [ pdf ]
Katriel, I., Michel, L., and Van Hentenryck, P. Maintaining Longest Paths Incrementally. Constraints 10, 2 (Apr 2005), 159-183. [ pdf ]
Michel, L., and Hentenryck, P. V. A Modeling Layer for Constraint Programming Libraries. Informs Journal on Computing 17, 4 (2005), 389-401.
Sellmann, M., and Hentenryck, P. V. Structural Symmetry Breaking. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI) (2005), pp. 298-303. [ postscript | pdf ]
Van Hentenryck, P., and Michel, L. Control Abstractions for Local Search. Constraints 10, 2 (Apr 2005), 137-157. [ pdf ]
Van Hentenryck, P., Michel, L., and Liu, L. Constraint-Based Combinators for Local Search. Constraints 10, 4 (Apr 2005). [ pdf ]
Van Hentenryck, P., and Michel, L. Constraint-Based Local Search. The MIT Press, 2005.
Van Hentenryck, P. Introduction to the Special Issue on Principles and Practice of Constraint Programming. Constraints 10, 1 (Jan 2005). [ pdf ]
Van Hentenryck, P., and Vergados, Y. Minimizing Breaks in Sport Scheduling with Local Search. In Proceedings of the 15th International Conference on Automated Planning and Scheduling (Monterey, CA, Jun 2005), pp. 22-29. [ pdf ]
2004
Anagnostopoulos, A., Bent, R., Upfal, E., and Hentenryck, P. V. A simple and deterministic competitive algorithm for online facility locations. Information and Computation 194, 2 (Nov 2004), 175-202. [ pdf ]
Bent, R., and Van Hentenryck, P. Online Stochastic and Robust Optimization. In Proceeding of the 9th Asian Computing Science Conference (ASIAN'04) (Chiang Mail University, Thailand, Dec 2004), pp. 286-300. [ pdf ]
Bent, R., and Van Hentenryck, P. Regrets Only! Online Stochastic Optimization under Time Constraints. In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI'04) (San Jose, CA, Jul 2004), pp. 501-506. [ pdf ]
Bent, R., and Van Hentenryck, P. Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers. Operations Research 52, 6 (Nov 2004), 977-987. [ pdf ]
Bent, R., and Van Hentenryck, P. A Two-Stage Hybrid Local Search for the Vehicle Routing Problem with Tim Windows. Transportation Science 38, 4 (Nov 2004), 515-530. [ pdf ]
Bent, R., and Van Hentenryck, P. The Value of Consensus in Online Stochastic Scheduling. In Proceedings of the 14th International Conference on Automated Planning and Scheduling (Whistler, British Columbia, Canada, Jun 2004), pp. 219-226. [ pdf ]
Blundell, C., Fisler, K., Krishnamurthi, S., and Van Hentenryck, P. Parameterized Interfaces for Open System Verification of Product Lines. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Sep 2004), pp. 258-267. [ home | pdf ]
Michel, L., and Van Hentenryck, P. A Decomposition-Based Implementation of Search Strategies. ACM Transactions on Computational Logic 5, 2 (2004), 351-383. [ pdf ]
Michel, L., and Van Hentenryck, P. Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. In Proceedings of the 14th International Conference on Automated Planning and Scheduling (Whistler, British Columbia, Canada, Jun 2004), pp. 200-208. [ pdf ]
Michel, L., and Van Hentenryck, P. A Simple Tabu-Search for Warehouse Location. European Journal on Operations Research 157, 3 (Sep 2004), 576-591. [ pdf ]
Van Hentenryck, P., Michel, L., and Liu, L. Constraint-Based Combinators for Local Search. In Proceedings of the 10th International Conference on Constraint Programming (CP-2004) (Toronto, Canada, Sep 2004), pp. 47-61.
Van Hentenryck, P., and Michel, L. Constraint Languages for Combinatorial Optimizations. In Operations Research and Technology: Tutorials from INFORMS 2004. Kluwer Academic Publishers, 2004.
Van Hentenryck, P., and Michel, L. Scheduling Abstractions for Local Search. In Proceeding of the First International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR-04) (Nice, France, Apr 2004), pp. 319-334. [ pdf ]
2003
Anagnostopoulos, A., Michel, L., Van Hentenryck, P., and Vergados, Y. A Simulated Annealing Approach to the Traveling Tournament Problem. In Proceedings of the International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP'AI'OR'2003) (Montreal, Canada, 2003). [ pdf ]
Aron, I., and Van Hentenryck, P. On the Complexity of the Robust Spanning Tree Problem with Interval Data. Operations Research Letters 32, 1 (2003), 36-40. [ pdf ]
Bent, R., and Van Hentenryck, P. Dynamic Vehicle Routing with Stochastic Requests. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'03) (Acapulco, Mexico, 2003), pp. 1362-1363. [ pdf ]
Bent, R., and Van Hentenryck, P. A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows. In Proceedings of the 9th International Conference on Constraint Programming (CP-2003) (Kinsale, Ireland, Sep 2003), pp. 123-137. [ pdf ]
Bessiere, C., and Van Hentenryck, P. To Be or Not to Be...a Global Constraint. In Proceedings of the International Conference on Constraint Programming (CP-2003) (Kinsale, Ireland, Sep 2003), pp. 789-794. [ pdf ]
Borradaile, G., and Van Hentenryck, P. Safe and Tight Linear Estimators for Global Optimization. In Proceedings of the International Conference on Constraint Programming Workshop on Interval Analysis and Constraint Propagation for Applications (IntCP-2003) (Kinsale, Ireland, Sep 2003).
Janssen, M., and Van Hentenryck, P. Precisely A(a)-stable One-Leg Multistep Methods. BIT 43 (2003), 761-774. [ pdf ]
Michel, L., and Van Hentenryck, P. Comet in Context. In Principles of Computing and Knowledge: Proceedings of the Paris C. Kanellakis Memorial Workshop (San Diego, CA, Jun 2003), pp. 95-107. [ pdf ]
Michel, L., and Van Hentenryck, P. Maintaining Longest Paths Incrementally. In Proceedings of the 9th International Conference on Constraint Programming (CP-2003) (Kinsale, Ireland, Sep 2003), pp. 540-554. [ pdf ]
Van Hentenryck, P., and Michel, L. Control Abstractions for Local Search. In Proceedings of the 9th International Conference on Constraint Programming (CP-2003) (Kinsale, Ireland, Sep 2003), pp. 65-80. [ pdf ]
Van Hentenryck, P., Michel, L., Paulin, F., and Puget, J. The OPL Studio Modeling System. In Modeling Languages in Mathematical Optimization. Kluwer Academic Publishers, 2003.
Van Hentenryck, P., Agren, M., Flener, P., and Pearson, J. Tractable Symmetry Breaking for CSPs with Interchangeable Values. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'03) (Acapulco, Mexico, 2003), pp. 277-284. [ pdf ]
2002
Aron, I., and Van Hentenryck, P. A Constraint Satisfaction Approach to the Robust Spanning Tree with Interval Data. In Proceedings of the International Conference on Uncertainty in Artificial Intelligence (UAI-2002) (Edmonton, Aug 2002), pp. 18-25. [ pdf ]
Deville, Y., Janssen, M., and Van Hentenryck, P. Consistency Techniques in Ordinary Differential Equations. Constraints 7 (2002), 289-315. [ pdf ]
Janssen, M., Van Hentenryck, P., and Deville, Y. A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Differential Equations. SIAM Journal on Numerical Analysis 40, 5 (2002), 1896-1939. [ pdf ]
Le Charlier, B., Rossi, S., and Van Hentenryck, P. Sequence-based Abstract Interpretation of Prolog. Theory and Practice of Logic Programming 2, 1 (Jan 2002). [ pdf ]
Michel, L., and Van Hentenryck, P. A Constraint-Based Architecture for Local Search. In Proceedings of the 17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'2002) (Seattle, WA, 2002), pp. 101-110. [ pdf ]
Van Hentenryck, P. Constraint and Integer Programming in OPL. Informs Journal on Computing 14, 4 (2002), 345-372.
Hentenryck, P. V. Constraint Programming. In Proceedings of the International Conference on Constraint Programming (2002), P. V. Hentenryck, Ed., Springer Verlag.
Hentenryck, P. V. Editorial. Theoretical Computer Science 277 (2002), 1-2.
Van Hentenryck, P., and Michel, L. The Modeling Language OPL: A Short Overview. In Optimization Software Class Libraries. Kluwar Academic Publishers, 2002.
2001
Benhamou, F., and Van Hentenryck, P. In Honor of Alain Colmerauer's 60th Birthday. Theory and Practice of Logic Programming 1, 6 (Nov 2001).
Janssen, M., Van Hentenryck, P., and Deville, Y. A Constraint Satisfaction Approach to Parametric Differential Equations. In Proceedings of the Joint International Conference on Artificial Intelligence (IJCAI-2001) (Seattle, WA, Aug 2001), pp. 297-302. [ pdf ]
Janssen, M., Van Hentenryck, P., and Deville, Y. Optimal Pruning for Parametric Differential Equations. In Proceedings of the International Conference on Constraint Programming (CP-2001) (Chyprus, Nov 2001), pp. 539-553. [ pdf ]
Michel, L., and Van Hentenryck, P. Modeler++:A Modeling Layer for Constraint Programming. In Proceedings of the Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP'AI'OR'2001) (Ashford, England, Apr 2001). [ pdf ]
2000
Cortesi, A., Le Charlier, B., and Van Hentenryck, P. Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction. Science of Computer Programming 38, 1-3 (2000), 27-71. [ pdf ]
Michel, L., and Van Hentenryck, P. Localizer. Constraints (Special Issue on CP'97) 5 (2000), 43-84. [ pdf ]
Ramachandran, V., Van Hentenryck, P., and Cortesi, A. Abstract Domains for Reordering CLP (Rlin) Programs. Journal of Logic Programming 42 (2000), 217-256.
Van Hentenryck, P., and Michel, L. OPL Script: Composing and Controlling Models. In New Trends in Constraints, Lecture Notes in Artificial Intelligence (LNAI 1865). Springer Verlag, 2000. [ pdf ]
Van Hentenryck, P. A Preview of OPL. In Proceedings of the International Conference on Practical Applications of Constraint and Logic Programming (Manchester (UK), Apr 2000). [ pdf ]
Van Hentenryck, P. Programmation par Contraintes. Techniques et Sciences Informatiques 19 (Jan 2000), 1-6.
Van Hentenryck, P., Perron, L., and Puget, J.-F. Search and Strategies in OPL. ACM Transactions on Computational Logic 1, 2 (Oct 2000), 285-320. [ pdf ]
1999
Deville, Y., Barette, O., and Van Hentenryck, P. Constraint Satisfaction over Connected Row Convex Constraints. Artifical Intelligence 109 (1999), 243-271. [ pdf ]
Janssen, M., Deville, Y., and Van Hentenryck, P. Multistep Filtering Operators for Ordinary Differential Equations. In Proceedings of the International Conference on Constraint Programming (Alexandria, VA, Oct 1999), pp. 246-260. [ pdf ]
Michel, L., and Van Hentenryck, P. Localizer: A Modeling Language for Local Search. INFORMS Journal of Computing 11, 1 (1999), 1-14. [ pdf ]
Stefanelli, C., Lamma, E., Mello, P., and Van Hentenryck, P. Exploiting Type Analysis for Unification in a Distributed Environment. Computers and Artificial Intelligence 18, 5 (1999), 447-465.
Van Hentenryck, P., Michel, L., Laborie, P., Nuijten, W., and Rogerie, J. Combinatorial Optimization in OPL Studio. In Proceedings of the 9th Portugese Conference on Artificial Intelligence (EPIA'99) (Evora (Portugal), Sep 1999), pp. 1-15. [ pdf ]
Van Hentenryck, P., Michel, L., Perron, L., and Regin, J. Constraint Programming in OPL. In Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP'99) (Paris (France), Sep 1999), pp. 98-116. [ pdf ]
Van Hentenryck, P. OPL: A Modeling Language for Combinatorial Optimization. MIT Press, 1999.
Van Hentenryck, P., and Michel, L. OPL Script: Composing and Controlling Models. In Proceedings of the European Research Consortium for Informatics and Mathematics (ERCIM) Workshop on New Trends in Constraints (Paphos, Cyprus, Oct 1999), pp. 75-90. [ pdf ]
1998
Deville, Y., Janssen, M., and Van Hentenryck, P. Consistency Techniques for Ordinary Differential Equations. In Proceedings of the International Conference on Constraint Programming (Pisa (Italy), Oct 1998), pp. 162-176. [ pdf ]
Puget, J.-F., and Van Hentenryck, P. A Constraint Satisfaction Approach to a Circuit Design Problem. Journal of Global Optimization 13 (1998), 75-93. [ pdf ]
Van Hentenryck, P., Saraswat, V., and Deville, Y. The Design, Implementation, and Evaluation of the Constraint Language cc(FD). The Journal of Logic Programming 37 (1998), 139-164. [ pdf ]
Van Hentenryck, P. A Gentle Introduction to Numerica. Artifical Intelligence 103 (1998), 209-235. [ pdf ]
Van Hentenryck, P., and Michel, L. Newton: Constraint Programming over Nonlinear Constraint. Science of Computer Programming 30 (1998), 83-118. [ pdf ]
1997
Deville, Y., Barette, O., and Van Hentenryck, P. Constraint Satisfaction over Connected Row Convex Constraints. In Proceedings of the Joint International Conference on Artificial Intelligence (IJCAI-97) (Nagoya, Japan, Aug 1997), pp. 405-411. [ pdf ]
Michel, L., and Van Hentenryck, P. Helios: A Modeling Language for Global Optimization and its Implementation in Newton. Theoretical Computer Science 173 (Feb 1997), 3-48. [ pdf ]
Michel, L., and Van Hentenryck, P. Localizer: A Modeling Language for Local Search. In Proceedings of the International Conference on Constraint Programming (Lintz (Austria), Oct 1997), pp. 237-251.
Stefanelli, C., Lamma, E., Mello, P., and Van Hentenryck, P. Improving Distributed Unification through Type Analysis. In Euro-Par '97 (Passau, 1997).
Van Hentenryck, P. Constraint Programming. In Encyclopedia of Science and Technology. Marcel Dekker, 1997.
Van Hentenryck, P. Constraint Programming for Combinatorial Search. Constraints 2 (Apr 1997), 99-101.
Van Hentenryck, P., and Saraswat, V. Constraint Programming: Strategic Directions. Constraints 2 (Apr 1997), 7-34. [ pdf ]
Van Hentenryck, P. Numerica: A Modeling Language for Global Optimization. In Proceedings of the Joint International Conference on Artificial Intelligence (IJCAI-97) (Nagoya, Japan, Aug 1997), pp. 1642-1650. [ pdf ]
Hentenryck, P. V., Michel, L., and Deville., Y. Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge, MA, 1997.
Hentenryck, P. V., Ed. Static Analysis, Proceedings of the 1997 International Symposium on Static Analysis (1997), Springer Verlag.
Van Hentenryck, P., McAllester, D., and Kapur, D. Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal on Numerical Analysis 34 (Apr 1997), 797-827. [ pdf ]
1996
Imbert, J.-L., and Van Hentenryck, P. Redundancy Elimination with a Lexicographic Solved Form. Annals of Mathematics and Artifical Intelligence 17 (1996), 85-106. [ pdf ]
Refalo, P., and Van Hentenryck, P. CLP(/cal Rlin) Revised. In Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP'96) (Bonn, Sep 1996), pp. 22-36.
Stefanelli, C., Lamma, E., Mello, P., and Van Hentenryck, P. Comsumption-Based Distributed Unification. In Proceedings of the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96) (San Sebastian, Jul 1996), pp. 207-218.
Hentenryck, P. V., and Saraswat, V. Constraint Programming. ACM 28, 4 (Dec 1996), 701-726.
Van Hentenryck, P., and Michel, L. Helios: A Modeling Language for Global Optimization. In Proceedings of the Second International Conference on Practical Application of Constraint Technology (PACT'96) (London, UK, Apr 1996).
1995
Das, M., Reps, T., and Van Hentenryck, P. Semantic Foundations of Binding Time Analysis for Imperative Programs. In Proceedings of the ACM Symposium on Partial Evaluation and Semantic-based Program Manipulation (PEPM-95) (La Jolla, CA, Jun 1995), pp. 100-110. [ pdf ]
Le Charlier, B., and Van Hentenryck, P. Reexecution in Abstract Interpretation of Prolog. Acta Informatica 32 (Jun 1995), 209-253.
Meyers, S., Duby, C., and Reiss, S. Constraining the Structure and Style of Object-Oriented Program. In Principles and Practice of Constraint Programming, V. Saraswat and P. V. Hentenryck, Eds. MIT Press, 1995.
Ramachandran, V., and Van Hentenryck, P. LSign Reordered. In Proceedings of the Static Analysis Symposium (SAS-95) (Glasgow, UK, Sep 1995), pp. 330-347.
Saraswat, V., and Hentenryck, P. V., Eds. Principles and Practice of Constraint Programming. MIT Press, Cambridge, MA, 1995.
Van Hentenryck, P., and Ramachandran, V. Backtracking without Trailing in CLP. ACM Transactions on Programming Languages and Systems 17 (Jul 1995), 635-671. [ pdf ]
Van Hentenryck, P. Constraint Solving for Combinatorial Search Problems: A Tutorial. In Proceedings of the First Conference on Principles and Practice of Constraint Programming (CP'95) (Cassis, France, Sep 1995), pp. 564-587.
Van Hentenryck, P., Saraswat, V., and Deville, Y. The Design, Implementation, and Evaluation of the Constraint Language cc(FD). In Constraint Programming: Basics and Trends. Springer Verlag, 1995.
Van Hentenryck, P., Cortesi, A., and Le Charlier, B. Evaluation of the Domain Prop. Journal of Logic Programming 23 (Jun 1995), 237-278. [ pdf ]
Van Hentenryck, P., Cortesi, A., and Le Charlier, B. Type Analysis of Prolog using Type Graphs. Journal of Logic Programming 22 (Mar 1995), 179-208.
1994
Benhamou, F., McAllester, D., and Van Hentenryck, P. CLP(Intervals) Revisited. In Proceedings of the International Logic Programming Symposium (ILPS-94) (Ithaca, NY, Nov 1994), pp. 124-138. [ pdf ]
Braem, C., Le Charlier, B., Modart, S., and Van Hentenryck, P. Cardinality Analysis of Prolog. In Proceedings of the International Logic Programming Symposium (ILPS-94) (Ithaca, NY, Nov 1994), pp. 457-471.
Cortesi, A., Le Charlier, B., and Van Hentenryck, P. Combinations of Abstract Domains for Logic Programming. In Proceedings of the ACM-SIGPLAN Symposium on Principles of Programming Languages (POPL-94) (Portland, OR, Jan 1994), pp. 227-239. [ pdf ]
Le Charlier, B., Rossi, S., and Van Hentenryck, P. An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. In Proceedings of the International Logic Programming Symposium (ILPS-94) (Ithaca, NY, Nov 1994), pp. 157-171.
Le Charlier, B., and Van Hentenryck, P. Experimental Evaluation of a Generic Abstract Interpretation Algorithms for Prolog. ACM Transactions on Programming Languages 16 (Jan 1994), 35-101.
Van Hentenryck, P., and Ramachandran, V. Backtracking without Trailing in CLP(/cal Rlin). In Proceedings of the ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI-94) (Orlando, FL, Jun 1994).
Van Hentenryck, P., Ed. Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming (Cambridge, MA, 1994), MIT Press.
Van Hentenryck, P. Scheduling and Packing in the Constraint Language of cc(FD). In Intelligent Scheduling. Morgan Kaufman, 1994.
Van Hentenryck, P., Cortesi, A., and Le Charlier, B. Type Analysis of Prolog using Type Graphs. In Proceedings of the ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI-94) (Orlando, FL, Jun 1994), pp. 337-348. [ pdf ]
1993
Degimbe, O., Le Charlier, B., Olivier, L., and Van Hentenryck, P. Practical Efficiency of Three General Purpose Fixpoint Algorithms Applied to the Abstract Interpretation of Prolog. In Proceedings of the International Workshop on Static Analysis (WSA-93) (Padova, Italy, Sep 1993).
Englebert, V., Le Charlier, B., D.Roland, and Van Hentenryck, P. Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and Their Experimental Evaluation. Software Practice and Experience 23, 4 (1993), 419-459. [ pdf ]
Imbert, J., and Van Hentenryck, P. Efficient Handling of Disequations in CLP Over Linear Rational Arithmetics. In Constraint Logic Programming: Selected Research. MIT Press, 1993.
Le Charlier, B., and Van Hentenryck, P. Groundness Analysis for Prolog: Imprementation and evaluation of the Domain Prop. In Proceedings of the ACM Symposium on Partial Evaluation and Semantic-based Program Manipulation (PEPM-93) (Copenhagen, Denmark, Jun 1993), pp. 99-110.
Ramachandran, V., and Van Hentenryck, P. Incremental Algorithms for Constraint Solving and Entailment over Rational Trees. In Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (Bombay, India, Dec 1993), pp. 205-217.
Van Hentenryck, P., and Deville, Y. The Cardinality Operator: A New Logical Connective and its Application to Constraint Logic Programming. In Constraint Logic Programming: Selected Research. MIT Press, 1993.
Van Hentenryck, P., Degimbe, O., Le Charlier, B., and Olvier, L. The Impact of Granularity in Abstract Interpretation of Prolog. In Proceedings of the International Workshop on Statics Analysis (WSA-93) (Padova, Italy, Sep 1993), pp. 1-14.
1992
Deville, Y., and Van Hentenryck, P. Construction of CLP Programs. In Logic Programming: New Frontiers. Kluwar Academic Publishers, 1992.
Dincbas, M., Simonis, H., and Van Hentenryck, P. Solving a Cutting-Stock Problem with the Constraint Logic Programming Language CHIP. Mathl. Comput. Modeling 16 (1992), 95-105.
Englebert, V., Le Charlier, B., Roland, D., and Van Hentenryck, P. Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and Their Experimental Evaluation. In Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP-92) (Leuven, Belgium, Aug 1992), pp. 310-325.
Le Charlier, B., and Van Hentenryck, P. On the Design of Generic Abstract Interpretation Frameworks. In Proceedings of the Workshop on Static Analysis (Bordeaux, France, Sep 1992), pp. 229-246.
Le Charlier, B., and Van Hentenryck, P. Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog. In Proceedings of the Fourth IEEE International Conference on Computer Languages (ICCL'92) (San Francisco, CA, Apr 1992).
Le Charlier, B., and Van Hentenryck, P. Reexecution in Abstract Interpretation of Prolog. In Proceedings of the International Joint Conference and Symposium on Logic Programming (JICSLP-92) (Washington, DC, Nov 1992), pp. 750-764.
Van Hentenryck, P. Constraint Logic Programming. In Encyclopedia of Artificial Intelligence (Second Edition). Wiley, 1992.
Van Hentenryck, P., Simonis, H., and Dincbas, M. Constraint Satisfaction using Constraint Logic Programming. Artificial Intelligence 58 (1992), 113-159. [ pdf ]
Van Hentenryck, P. A Generic Arc Consistency Algorithm. Artificial Intelligence 57 (1992), 291-321.
Van Hentenryck, P., and Graf, T. Standard Forms for Rational Linear Arithmetics in Constraint Logic Programming. Annals of Mathematics and Artificial Intelligence 5, 2-4 (1992), 303-319.
1991
Deville, Y., and Van Hentenryck, P. An Efficient Arc Consistency Algorithm for a Class of CSP Problems. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-91) (Sydney, Australia, Aug 1991), pp. 325-330.
Le Charlier, B., Musumbu, K., and Van Hentenryck, P. A Generic Abstract Interpretation Algorithm and its Complexity Analysis. In Proceedings of the Eighth International Conference on Logic Programming (ICLP-91) (1991), pp. 64-78.
Van Hentenryck, P. The CLP Language CHIP: Constraint Solving and Applications. In Proceedings of the IEEE Computer Society International Conference (COMPCON) (San Francisco, CA, Feb 1991).
Van Hentenryck, P. Constraint Logic Programming. Knowledge Engineering Review 6 (1991), 151-194.
Van Hentenryck, P., and Deville, Y. The Cardinality Operator: A New Logical Connective and its Application to Constraint Logic Programming. In Proceedings of the Eighth International Conference on Logic Programming (ICLP-91) (1991), pp. 745-759.
Van Hentenryck, P., and Provost, T. L. Incremental Search in Constraint Logic Programming. New Generation Computing, 1991: Special Issue on selected papers from ICLP-90 9, 3/4 (1991), 257-276.
Van Hentenryck, P., and Deville, Y. Operational Semantics of Constraint Logic Programming over Finite Domains. In Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming (PLILP-91) (Passau, Germany, Aug 1991), pp. 395-406.
1990
Dincbas, M., Simonis, H., and Van Hentenryck, P. Solving Large Combinatorial Problems in Logic Programming. Journal of Logic Programming 8 (1990), 75-93.
Graf, T., Van Hentenryck, P., c. Pradelles, and Zimmer, L. Simulation of Hybrid Circuits in Constraint Logic Programming. Computers and Mathematics with Applications 20 (1990), 45-56.
Van Hentenryck, P. Incremental Constraint Satisfaction in Logic Programming. In Proceedings of the Seventh International Conference on Logic Programming (ICLP-90) (Jerusalem, Israel, Jun 1990), pp. 189-202.
Van Hentenryck, P. A Logic Language for Combinatorial Optimization. Annals of Operations Research 21 (1990), 247-274.
Van Hentenryck, P., and Graf, T. Standard Forms for Rational Linear Arithmetics in Constraint Logic Programming. In Proceedings of the International Symposium on Artificial Intelligence and Mathematics (Fort Lauderdale, FL, Jan 1990).
1989
Dincbas, M., Simonis, H., and Van Hentenryck, P. Extending Equation Solving and Constraint Handling in Logic Programming. In Resolution of Equations in Algebraic Structures. Academic Press, 1989.
Graf, T., Van Hentenryck, P., Pradelles, C., and Zimmer, L. Simulation of Hybrid Circuits in Constraint Logic Programming. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-89) (Detroit, MI, Aug 1989), pp. 72-77.
Van Hentenryck, P. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
Van Hentenryck, P. Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. In Proceedings of the Sixth International Conference on Logic Programming (ICLP-89) (Lisbon, Portugal, Jun 1989), pp. 165-180.
1988
Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., and t. Graf. Applications of CHIP to Industrial and Engineering Problems. In Proceedings of the First International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (Tullahoma, TN, Jun 1988), pp. 885-892.
Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., and Berthier, F. Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS-88) (Tokyo, Japan, Dec 1988).
Dincbas, M., Simonis, H., and Van Hentenryck, P. Solving the Car Sequencing Problem in Constraint Logic Programming. In Proceedings of the European Conference on Artificial Intelligence (ECAI-88) (Munich, Aug 1988), pp. 42-58.
Dincbas, M., Simonis, H., and Van Hentenryck, P. Solving a Cutting-Stock Problem in Constraint Logic Programming. In Proceedings of the Fifth International Conference on Logic Programming (ICLP-88) (Seattle, WA, Aug 1988), pp. 42-58.
Dincbas, M., Simonis, H., and Van Hentenryck, P. Solving Large Scheduling Problems in Logic Programming. In Proceedings of the Joint International Conference on Operations Research and Management Science (EURO-TIMS) (Paris, France, Jul 1988).
Van Hentenryck, P., and Carillon, J.-P. Generality versus Specificity: an Experience with AI and OR Techniques. In Proceedings of the American Association for Artificial Intelligence (AAAI-88) (St. Paul, MN, Aug 1988).
1987
Dincbas, M., Simonis, H., and Van Hentenryck, P. Extending Equation Solving and Constraint Handling in Logic Programming. In Proceedings of the Colloquium on Resolution of Equations in Algebraic Structures (CREAS), MCC (Austin, TX, May 1987).
Van Hentenryck, P., and Dincbas, M. Forward Checking in Logic Programming. In Proceedings of the Fourth International Conference on Logic Programming (ICLP-87) (Melbourne, Australia, May 1987), pp. 229-256.
Dincbas, M., and Van Hentenryck, P. Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. Journal of Logic Programming 4 (Sep 1987), 199-227.
Van Hentenryck, P. A Framework for Consistency Techniques in Logic Programming. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-87) (Milan, Italy, Aug 1987), pp. 2-8.
1986
Van Hentenryck, P., and Dincbas, M. Domains in Logic Programming. In Proceedings of the American Association for Artificial Intelligence Conference (AAAI-86) (Philadelphia, PA, Aug 1986), pp. 759-765.
| Page Owner: Pascal Van Hentenryck | Last Modified: Tue Sep 9 10:59:25 2008 |