Pascal Van Hentenryck's Publications
2009
Dung, P. Q., Deville, Y., and Hentenryck, P. V. LS(Graph): A Local Search Framework for Constraint Optimization on Graphs and Trees. In ACM Symposium on Applied Computing (SAC'09) (Mar. 2009).
Yip, J., and Hentenryck, P. V. Length-Lex Bound Consistency for Knapsack Constraints. In ACM SAC 2009 (Hawaii, Mar. 2009).
Dooms, G., Hentenryck, P. V., and Michel, L. Model-Driven Visualizations of Constraint-Based Local Search. Springer Berlin / Heidelberg 4741 (2009), 271-285.
Michel, L., See, A., and Hentenryck, P. V. Parallel and Distributed Local Search in Comet. Computers and Operations Research (2009).
Michel, L., See, A., and Hentenryck, P. V. Transparent Parallelization of Constraint Programming. INFORMS Journal on Computing (2009).
Monette, J.-N., Deville, Y., and Hentenryck, P. V. AEON: Synthesizing Scheduling Algorithms from High-Level Models. In 11th Informs Computing Society Conference (Charleston, SC, Jan. 2009).
Hentenryck, P. V., and Nuijten, W. Heuristics based on Constraint Programming. Elsevier, 2009.
2008
Hentenryck, P. V., and Michel, L. Incremental Accumulators. In LASH'08 (Leuven, Belgium, Nov. 2008).
Dooms, G., and Hentenryck, P. V. Gap Reduction Techniques for Online Stochastic Project Scheduling. In Fourth International Conference on the Integration of AI and OR Techniques in Constaint Programming for Combinitorial Optimization Problems (CP-AI-OR'08) (Paris, France, May 2008).
Mercier, L., and Hentenryck, P. V. Amssa: A Multistep Anticipatory Algorithm for Multistage Stochastic Combinatorial Optimization. In Fourth International Conference on the Integration of AI and OR Techniques in Constaint Programming for Combinitorial Optimization Problems (CP-AI-OR'08) (Paris, France, May 2008).
Michel, L., Sonderegger, E., Hentenryck, P. V., and Shvarstman, A. Optimal Deployment of Eventually-Serializable Data Services. In Fourth International Conference on the Integration of AI and OR Techniques in Constaint Programming for Combinitorial Optimization Problems (CP-AI-OR'08) (Paris, France, May 2008).
Cebrian, M., Dotu, I., Hentenryck, P. V., and Clote, P. Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. In AAAI 2008 (2008), pp. 241-246.
Collavizza, H., Rueher, M., and Hentenryck, P. V. CPBPV: A Constraint-Programming Framework for Bounded Program Verification. In CP 2008 (2008), pp. 327-341.
Dotu, I., Cebrian, M., Hentenryck, P. V., and Clote, P. Protein Structure Prediction with Large Neighborhood Constraint Programming Search. In CP 2008 (2008), pp. 82-96.
Mercier, L., and Hentenryck, P. V. Edge Finding for Cumulative Scheduling. INFORMS Journal on Computing 20 (2008).
Hentenryck, P. V., Yip, J., Gervet, C., and Dooms, G. Bound Consistency for Binary Length-Lex Set Constraints. In AAAI 2008 (2008), pp. 375-380.
2007
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).
Michel, L., See, A., and Hentenryck, P. V. Parallelizing Constraint Programs Transparently. 13th International Conference on Principles and Practice of Constraint Programming (CP'07).
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.
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.
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., and Bent, R. Online Stochastic Combinatorial Optimization. The MIT Press, Oct. 2006.
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, Sept. 2006), Springer.
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, Sept. 2006), Springer, pp. 695-699. [ 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, Sept. 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, Sept. 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, Sept. 2006), Springer. [ 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, July 2006). [ pdf ]
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 ]
Dotu, I., and Van Hentenryck, P. Scheduling Social Tournaments Locally. AI Communications (2006). [ 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).
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. A Simple Hybrid Evolutionary Algorithm for Finding Golomb Rulers. In Proceedings of the IEEE Congress on Evolutionary Computation (Edinburgh, UK, Sept. 2005). [ 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, June 2005), pp. 171-180. [ 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, June 2005), pp. 22-29. [ pdf ]
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 ]
Katriel, I., Michel, L., and Van Hentenryck, P. Maintaining Longest Paths Incrementally. Constraints 10, 2 (Apr. 2005), 159-183. [ 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 ]
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 ]
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. 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 ]
2004
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 ]
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. 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 ]
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 (Sept. 2004), pp. 258-267. [ home | pdf ]
Michel, L., and Van Hentenryck, P. A Simple Tabu-Search for Warehouse Location. European Journal on Operations Research 157, 3 (Sept. 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, Sept. 2004), pp. 47-61.
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, July 2004), pp. 501-506. [ 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, June 2004), pp. 219-226. [ 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, June 2004), pp. 200-208. [ pdf ]
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 ]
Michel, L., and Van Hentenryck, P. A Decomposition-Based Implementation of Search Strategies. ACM Transactions on Computational Logic 5, 2 (2004), 351-383. [ pdf ]
Van Hentenryck, P., and Michel, L. Constraint Languages for Combinatorial Optimizations. In Operations Research and Technology: Tutorials from INFORMS 2004. Kluwer Academic Publishers, 2004.
2003
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, Sept. 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, Sept. 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, Sept. 2003).
Michel, L., and Van Hentenryck, P. Maintaining Longest Paths Incrementally. In Proceedings of the 9th International Conference on Constraint Programming (CP-2003) (Kinsale, Ireland, Sept. 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, Sept. 2003), pp. 65-80. [ 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, June 2003), pp. 95-107. [ pdf ]
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 ]
Janssen, M., and Van Hentenryck, P. Precisely A(a)-stable One-Leg Multistep Methods. BIT 43 (2003), 761-774. [ 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. Optimal Pruning for Parametric Differential Equations. In Proceedings of the International Conference on Constraint Programming (CP-2001) (Chyprus, Nov. 2001), pp. 539-553. [ pdf ]
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 ]
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
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 ]
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 ]
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. Programmation par Contraintes. Techniques et Sciences Informatiques 19 (Jan. 2000), 1-6.
1999
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 ]
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 ]
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), Sept. 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), Sept. 1999), pp. 98-116. [ pdf ]
Deville, Y., Barette, O., and Van Hentenryck, P. Constraint Satisfaction over Connected Row Convex Constraints. Artifical Intelligence 109 (1999), 243-271. [ 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. OPL: A Modeling Language for Combinatorial Optimization. MIT Press, 1999.
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
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.
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 ]
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 ]
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., 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 ]
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 ]
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.
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.
1996
Hentenryck, P. V., and Saraswat, V. Constraint Programming. ACM 28, 4 (Dec. 1996), 701-726.
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, Sept. 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, July 1996), pp. 207-218.
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).
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 ]
1995
Ramachandran, V., and Van Hentenryck, P. LSign Reordered. In Proceedings of the Static Analysis Symposium (SAS-95) (Glasgow, UK, Sept. 1995), pp. 330-347.
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, Sept. 1995), pp. 564-587.
Van Hentenryck, P., and Ramachandran, V. Backtracking without Trailing in CLP. ACM Transactions on Programming Languages and Systems 17 (July 1995), 635-671. [ pdf ]
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, June 1995), pp. 100-110. [ pdf ]
Le Charlier, B., and Van Hentenryck, P. Reexecution in Abstract Interpretation of Prolog. Acta Informatica 32 (June 1995), 209-253.
Van Hentenryck, P., Cortesi, A., and Le Charlier, B. Evaluation of the Domain Prop. Journal of Logic Programming 23 (June 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.
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.
Saraswat, V., and Hentenryck, P. V., Eds. Principles and Practice of Constraint Programming. MIT Press, Cambridge, MA, 1995.
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.
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.
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.
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, June 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, June 1994), pp. 337-348. [ pdf ]
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., 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., 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.
1993
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.
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, Sept. 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, Sept. 1993), pp. 1-14.
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, June 1993), pp. 99-110.
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.
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.
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.
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, Sept. 1992), pp. 229-246.
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. 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).
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.
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.
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.
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).
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. 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.
1990
Van Hentenryck, P. Incremental Constraint Satisfaction in Logic Programming. In Proceedings of the Seventh International Conference on Logic Programming (ICLP-90) (Jerusalem, Israel, June 1990), pp. 189-202.
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. 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
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. 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, June 1989), pp. 165-180.
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.
Van Hentenryck, P. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
1988
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.
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).
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, July 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, June 1988), pp. 885-892.
1987
Dincbas, M., and Van Hentenryck, P. Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. Journal of Logic Programming 4 (Sept. 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.
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.
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: Mon Oct 5 12:12:15 2009 |