Pascal Van Hentenryck

	2012
228		Laurent Michel, Pascal Van Hentenryck: Activity-Based Search for Black-Box Constraint Programming Solvers. CPAIOR 2012: 228-243
227		Florence Massen, Yves Deville, Pascal Van Hentenryck: Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. CPAIOR 2012: 260-274
226		Ben Simon, Carleton Coffrin, Pascal Van Hentenryck: Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration. CPAIOR 2012: 379-394
225		Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville: Constraint-based Very Large-Scale Neighborhood search. Constraints 17(2): 87-122 (2012)
	2011
224		Siddhartha Jain, Pascal Van Hentenryck: Large Neighborhood Search for Dial-a-Ride Problems. CP 2011: 400-413
223		Justin Yip, Pascal Van Hentenryck: Checking and Filtering Global Set Constraints. CP 2011: 819-833
222		Alessandro Zanarini, Pascal Van Hentenryck: Identifying Patterns in Sequences of Variables. CPAIOR 2011: 246-251
221		Carleton Coffrin, Pascal Van Hentenryck, Russell Bent: Spatial and Objective Decompositions for Very Large SCAPs. CPAIOR 2011: 59-75
220		Dario Pacino, Pascal Van Hentenryck: Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling. IJCAI 2011: 1997-2002
219		Justin Yip, Pascal Van Hentenryck: Symmetry Breaking via LexLeader Feasibility Checkers. IJCAI 2011: 687-692
218		Luc Mercier, Pascal Van Hentenryck: An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization. Annals OR 184(1): 233-271 (2011)
217		Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Optimal deployment of eventually-serializable data services. Annals OR 184(1): 273-294 (2011)
216		Laurent D. Michel, Pascal Van Hentenryck: Activity-Based Search for Black-Box Contraint-Programming Solvers CoRR abs/1105.6314: (2011)
215		Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville: Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. Constraints 16(2): 125-147 (2011)
214		Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, Pascal Van Hentenryck: Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201). Dagstuhl Reports 1(5): 61-83 (2011)
213		Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote: On Lattice Protein Structure Prediction Revisited. IEEE/ACM Trans. Comput. Biology Bioinform. 8(6): 1620-1632 (2011)
	2010
212		Yves Deville, Pascal Van Hentenryck: Domain Consistency with Forbidden Values. CP 2010: 191-205
211		Justin Yip, Pascal Van Hentenryck: Exponential Propagation for Set Variables. CP 2010: 499-513
210		Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. CP 2010: 598-612
209		Russell Bent, Pascal Van Hentenryck: Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows. CP 2010: 99-113
208		Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: Constraint-Based Local Search for Constrained Optimum Paths Problems. CPAIOR 2010: 267-281
207		Pierre Schaus, Pascal Van Hentenryck, Alessandro Zanarini: Revisiting the Soft Global Cardinality Constraint. CPAIOR 2010: 307-312
206		Pascal Van Hentenryck, Russell Bent, Carleton Coffrin: Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution. CPAIOR 2010: 318-333
205		Justin Yip, Pascal Van Hentenryck, Carmen Gervet: Boosting Set Constraint Propagation for Network Design. CPAIOR 2010: 339-353
204		Iván Dotú, W. A. Lorenz, Pascal Van Hentenryck, Peter Clote: RNA Structural Segmentation. Pacific Symposium on Biocomputing 2010: 57-68
203		Pascal Van Hentenryck, Russell Bent, Eli Upfal: Online stochastic optimization under time constraints. Annals OR 177(1): 151-183 (2010)
202		Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck: CPBPV: a constraint-programming framework for bounded program verification. Constraints 15(2): 238-264 (2010)
	2009
201		Iván Dotú, Pascal Van Hentenryck, Miguel A. Patricio, Antonio Berlanga, Jose García, José M. Molina López: Real-Time Tabu Search for Video Tracking Association. CP 2009: 21-34
200		Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich: Constraint-Based Local Search for the Automatic Generation of Architectural Tests. CP 2009: 787-801
199		Justin Yip, Pascal Van Hentenryck: Evaluation of Length-Lex Set Variables. CP 2009: 817-832
198		Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Online Selection of Quorum Systems for RAMBO Reconfiguration. CP 2009: 88-103
197		Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal: Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2009: 193-207
196		Pierre Schaus, Pascal Van Hentenryck, Jean-Charles Régin: Scalable Load Balancing in Nurse to Patient Assignment Problems. CPAIOR 2009: 248-262
195		Pascal Van Hentenryck: Constraint Programming. EMO 2009: 3
194		Jean-Noël Monette, Yves Deville, Pascal Van Hentenryck: Just-In-Time Scheduling with Constraint Programming. ICAPS 2009
193		Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) LSCS 2009: 5-11
192		Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet: Sonet Network Design Problems LSCS 2009: 81-95
191		Justin Yip, Pascal Van Hentenryck: Length-lex bound consistency for knapsack constraints. SAC 2009: 1397-1401
190		Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: LS(graph & tree): a local search framework for constraint optimization on graphs and trees. SAC 2009: 1402-1407
189		Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Optimizing Network Deployment of Formally-Specified Distributed Systems. SEDE 2009: 230-237
188		Pascal Van Hentenryck, Russell Bent, Luc Mercier, Yannis Vergados: Online stochastic reservation systems. Annals OR 171(1): 101-126 (2009)
187		Laurent D. Michel, Andrew See, Pascal Van Hentenryck: Parallel and distributed local search in COMET. Computers & OR 36(8): 2357-2375 (2009)
186		Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel: Model-driven visualizations of constraint-based local search. Constraints 14(3): 294-324 (2009)
185		Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren: Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints 14(4): 506-538 (2009)
184		Laurent Michel, Andrew See, Pascal Van Hentenryck: Transparent Parallelization of Constraint Programming. INFORMS Journal on Computing 21(3): 363-382 (2009)
	2008
183		Manuel Cebrián, Iván Dotú, Pascal Van Hentenryck, Peter Clote: Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. AAAI 2008: 241-246
182		Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms: Bound Consistency for Binary Length-Lex Set Constraints. AAAI 2008: 375-380
181		Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck: CPBPV: A Constraint-Programming Framework for Bounded Program Verification. CP 2008: 327-341
180		Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote: Protein Structure Prediction with Large Neighborhood Constraint Programming Search. CP 2008: 82-96
179		Luc Mercier, Pascal Van Hentenryck: Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization. CPAIOR 2008: 173-187
178		Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2008: 188-202
177		Pascal Van Hentenryck, Laurent Michel: The Steel Mill Slab Design Problem Revisited. CPAIOR 2008: 377-381
176		Pascal Van Hentenryck: 30 Years of Constraint Programming. CPAIOR 2008: 5
175		Grégoire Dooms, Pascal Van Hentenryck: Gap Reduction Techniques for Online Stochastic Project Scheduling. CPAIOR 2008: 66-81
174		Pascal Van Hentenryck: The Impact of Constraint Programming. ECAI 2008: 9
173		Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck: CPBVP: A Constraint-Programming Framework for Bounded Program Verification CoRR abs/0807.2383: (2008)
172		Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck: Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification CoRR abs/0808.1508: (2008)
171		Luc Mercier, Pascal Van Hentenryck: Edge Finding for Cumulative Scheduling. INFORMS Journal on Computing 20(1): 143-153 (2008)
	2007
170		Pascal Van Hentenryck, Laurence A. Wolsey: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings Springer 2007
169		Russell Bent, Pascal Van Hentenryck: Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows. AAAI 2007: 173-178
168		Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck: Propagating Knapsack Constraints in Sublinear Time. AAAI 2007: 231-236
167		Pascal Van Hentenryck, Yannis Vergados: Population-Based Simulated Annealing for Traveling Tournaments. AAAI 2007: 267-271
166		Pascal Van Hentenryck, Laurent D. Michel: Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. AAAI 2007: 273-
165		Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel: Model-Driven Visualizations of Constraint-Based Local Search. CP 2007: 271-285
164		Laurent Michel, Andrew See, Pascal Van Hentenryck: Parallelizing Constraint Programs Transparently. CP 2007: 514-528
163		Russell Bent, Pascal Van Hentenryck: Waiting and Relocation Strategies in Online Stochastic Vehicle Routing. IJCAI 2007: 1816-1821
162		Luc Mercier, Pascal Van Hentenryck: Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs. IJCAI 2007: 1979-1984
161		Iván Dotú, Pascal Van Hentenryck: Scheduling social tournaments locally. AI Commun. 20(3): 151-162 (2007)
160		Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck: Local Search-based Hybrid Algorithms for Finding Golomb Rulers. Constraints 12(3): 263-291 (2007)
159		Luc Mercier, Pascal Van Hentenryck: Strong polynomiality of resource constraint propagation. Discrete Optimization 4(3-4): 288-314 (2007)
	2006
158		Pascal Van Hentenryck, Russell Bent: Online stochastic combinatorial optimization. MIT Press 2006: I-XIII, 1-232
157		Pascal Van Hentenryck: Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings Springer 2006
156		Carmen Gervet, Pascal Van Hentenryck: Length-Lex Ordering for Set CSPs. AAAI 2006: 48-53
155		Laurent Michel, Andrew See, Pascal Van Hentenryck: Distributed Constraint-Based Local Search. CP 2006: 344-358
154		Laurent Michel, Andrew See, Pascal Van Hentenryck: High-Level Nondeterministic Abstractions in. CP 2006: 359-374
153		Pascal Van Hentenryck, Laurent Michel: Differentiable Invariants. CP 2006: 604-619
152		Iván Dotú, Pascal Van Hentenryck: A Note on Low Autocorrelation Binary Sequences. CP 2006: 685-689
151		Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck: Static and Dynamic Structural Symmetry Breaking. CP 2006: 695-699
150		Pascal Van Hentenryck, Russell Bent, Yannis Vergados: Online Stochastic Reservation Systems. CPAIOR 2006: 212-227
149		Pascal Van Hentenryck, Yannis Vergados: Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling. CPAIOR 2006: 228-243
148		Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck: Scheduling Social Golfers with Memetic Evolutionary Programming. Hybrid Metaheuristics 2006: 150-161
147		Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck: A Memetic Approach to Golomb Rulers. PPSN 2006: 252-261
146		Russell Bent, Pascal Van Hentenryck: A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows. Computers & OR 33: 875-893 (2006)
145		Pascal Van Hentenryck, Laurent Michel: Nondeterministic Control for Hybrid Search. Constraints 11(4): 353-373 (2006)
144		Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados: A simulated annealing approach to the traveling tournament problem. J. Scheduling 9(2): 177-193 (2006)
	2005
143		Pascal Van Hentenryck, Laurent Michel: Constraint-based local search. MIT Press 2005: I-XIX, 1-422
142		Russell Bent, Irit Katriel, Pascal Van Hentenryck: Sub-optimality Approximations. CP 2005: 122-136
141		Irit Katriel, Pascal Van Hentenryck: Maintaining Longest Paths in Cyclic Graphs. CP 2005: 358-372
140		Laurent Michel, Pascal Van Hentenryck: Parallel Local Search in Comet. CP 2005: 430-444
139		Iván Dotú, Alvaro del Val, Pascal Van Hentenryck: Scheduling Social Tournaments. CP 2005: 845
138		Laurent Michel, Pascal Van Hentenryck: The Comet Programming Language and System. CP 2005: 881-881
137		Iván Dotú, Pascal Van Hentenryck: Scheduling Social Golfers Locally. CPAIOR 2005: 155-167
136		Pascal Van Hentenryck, Laurent Michel: Nondeterministic Control for Hybrid Search. CPAIOR 2005: 380-395
135		Iván Dotú, Pascal Van Hentenryck: A simple hybrid evolutionary algorithm for finding Golomb rulers. Congress on Evolutionary Computation 2005: 2018-2023
134		Russell Bent, Pascal Van Hentenryck: Online Stochastic Optimization Without Distributions. ICAPS 2005: 171-180
133		Pascal Van Hentenryck, Yannis Vergados: Minimizing Breaks in Sport Scheduling with Local Search. ICAPS 2005: 22-29
132		Meinolf Sellmann, Pascal Van Hentenryck: Structural Symmetry Breaking. IJCAI 2005: 298-303
131		Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren: Compositional Derivation of Symmetries for Constraint Satisfaction. SARA 2005: 234-247
130		Pascal Van Hentenryck: Introduction to the Special Issue on Principles and Practice of Constraint Programming. Constraints 10(1): 5 (2005)
129		Pascal Van Hentenryck, Laurent Michel: Control Abstractions for Local Search. Constraints 10(2): 137-157 (2005)
128		Irit Katriel, Laurent Michel, Pascal Van Hentenryck: Maintaining Longest Paths Incrementally. Constraints 10(2): 159-183 (2005)
127		Pascal Van Hentenryck, Laurent Michel, Liyuan Liu: Contraint-Based Combinators for Local Search. Constraints 10(4): 363-384 (2005)
126		Laurent Michel, Pascal Van Hentenryck: A Modeling Layer for Constraint-Programming Libraries. INFORMS Journal on Computing 17(4): 389-401 (2005)
125		Glencora Borradaile, Pascal Van Hentenryck: Safe and tight linear estimators for global optimization. Math. Program. 102(3): 495-517 (2005)
	2004
124		Russell Bent, Pascal Van Hentenryck: Regrets Only! Online Stochastic Optimization under Time Constraints. AAAI 2004: 501-506
123		Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck: Parameterized Interfaces for Open System Verification of Product Lines. ASE 2004: 258-267
122		Russell Bent, Pascal Van Hentenryck: Online Stochastic and Robust Optimization. ASIAN 2004: 286-300
121		Pascal Van Hentenryck, Laurent Michel, Liyuan Liu: Constraint-Based Combinators for Local Search. CP 2004: 47-61
120		Pascal Van Hentenryck, Laurent Michel: Scheduling Abstractions for Local Search. CPAIOR 2004: 319-334
119		Laurent Michel, Pascal Van Hentenryck: Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. ICAPS 2004: 200-208
118		Russell Bent, Pascal Van Hentenryck: The Value of Consensus in Online Stochastic Scheduling. ICAPS 2004: 219-226
117		Laurent Michel, Pascal Van Hentenryck: A decomposition-based implementation of search strategies. ACM Trans. Comput. Log. 5(2): 351-383 (2004)
116		Laurent Michel, Pascal Van Hentenryck: A simple tabu search for warehouse location. European Journal of Operational Research 157(3): 576-591 (2004)
115		Aris Anagnostopoulos, Russell Bent, Eli Upfal, Pascal Van Hentenryck: A simple and deterministic competitive algorithm for online facility location. Inf. Comput. 194(2): 175-202 (2004)
114		Ionut D. Aron, Pascal Van Hentenryck: On the complexity of the robust spanning tree problem with interval data. Oper. Res. Lett. 32(1): 36-40 (2004)
113		Russell Bent, Pascal Van Hentenryck: Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers. Operations Research 52(6): 977-987 (2004)
112		Russell Bent, Pascal Van Hentenryck: A Two-Stage Hybrid Local Search for the Vehicle Routing Problem with Time Windows. Transportation Science 38(4): 515-530 (2004)
	2003
111		Russell Bent, Pascal Van Hentenryck: A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows. CP 2003: 123-137
110		Laurent Michel, Pascal Van Hentenryck: Maintaining Longest Paths Incrementally. CP 2003: 540-554
109		Pascal Van Hentenryck, Laurent Michel: Control Abstractions for Local Search. CP 2003: 65-80
108		Christian Bessière, Pascal Van Hentenryck: To Be or Not to Be ... a Global Constraint. CP 2003: 789-794
107		Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados: A Simulated Annealing Approach to the Travelling Tournament Problem. IJCAI 2003: 1357-1358
106		Russell Bent, Pascal Van Hentenryck: Dynamic Vehicle Routing with Stochastic Requests. IJCAI 2003: 1362-1363
105		Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren: Tractable Symmetry Breaking for CSPs with Interchangeable Values. IJCAI 2003: 277-284
104		Laurent Michel, Pascal Van Hentenryck: Comet in Context. PCK50 2003: 95-107
	2002
103		Pascal Van Hentenryck: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings Springer 2002
102		Pascal Van Hentenryck: Du filtrage optimal à la stabilité parfaite. JFPLC 2002: 11-
101		Laurent Michel, Pascal Van Hentenryck: A constraint-based architecture for local search. OOPSLA 2002: 83-100
100		Ionut D. Aron, Pascal Van Hentenryck: A Constraint Satisfaction Approach to the Robust Spanning Tree Problem with Interval Data. UAI 2002: 18-25
99		Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. Constraints 7(3-4): 289-315 (2002)
98		Pascal Van Hentenryck: Constraint and Integer Programming in OPL. INFORMS Journal on Computing 14(4): 345-372 (2002)
97		Micha Janssen, Pascal Van Hentenryck, Yves Deville: A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. SIAM J. Numerical Analysis 40(5): 1896-1939 (2002)
96		Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: Sequence-based abstract interpretation of Prolog. TPLP 2(1): 25-84 (2002)
95		Pascal Van Hentenryck: Editorial - SAS'97. Theor. Comput. Sci. 277(1-2): 1-2 (2002)
	2001
94		Micha Janssen, Pascal Van Hentenryck, Yves Deville: Optimal Pruning in Parametric Differential Equations. CP 2001: 539-553
93		Micha Janssen, Pascal Van Hentenryck, Yves Deville: A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI 2001: 297-302
92		Frédéric Benhamou, Pascal Van Hentenryck: In honor of Alain Colmerauer's 60th birthday. TPLP 1(6): 633-635 (2001)
	2000
91		Pascal Van Hentenryck, Laurent Perron, Jean-Francois Puget: Search and strategies in OPL. ACM Trans. Comput. Log. 1(2): 285-320 (2000)
90		Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: Sequence-Based Abstract Interpretation of Prolog CoRR cs.LO/0010028: (2000)
89		Laurent Michel, Pascal Van Hentenryck: Localizer. Constraints 5(1/2): 43-84 (2000)
88		Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi: Abstract Domains for Reordering CLP(RLin) Programs. J. Log. Program. 42(3): 217-256 (2000)
87		Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck: Combinations of abstract domains for logic programming: open product and generic pattern construction. Sci. Comput. Program. 38(1-3): 27-71 (2000)
	1999
86		Micha Janssen, Yves Deville, Pascal Van Hentenryck: Multistep Filtering Operators for Ordinary Differential Equations. CP 1999: 246-260
85		Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie: Combinatorial Optimization in OPL Studio. EPIA 1999: 1-15
84		Pascal Van Hentenryck: Localizer: A Modeling Language for Local Search. JFPLC 1999: 143-144
83		Pascal Van Hentenryck, Laurent Michel: OPL Script: Composing and Controlling Models. New Trends in Constraints 1999: 75-90
82		Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin: Constraint Programming in OPL. PPDP 1999: 98-116
81		Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. Artif. Intell. 109(1-2): 243-271 (1999)
80		Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck: Exploiting Type Analysis for Unification in a Distributed Environment. Computers and Artificial Intelligence 18(5): (1999)
79		Laurent D. Michel, Pascal Van Hentenryck: Localizer: A Modeling Language for Local Search. INFORMS Journal on Computing 11(1): 1-14 (1999)
	1998
78		Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. CP 1998: 162-176
77		Pascal Van Hentenryck: A Gentle Introduction to NUMERICA. Artif. Intell. 103(1-2): 209-235 (1998)
76		Isabel F. Cruz, Kim Marriott, Pascal Van Hentenryck: Introduction to the Special Issue. Constraints 3(1): 5-7 (1998)
75		Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD). J. Log. Program. 37(1-3): 139-164 (1998)
74		Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou: Newton - Constraint Programming over Nonlinear Constraints. Sci. Comput. Program. 30(1-2): 83-118 (1998)
	1997
73		Pascal Van Hentenryck: Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings Springer 1997
72		Pascal Van Hentenryck: A Modeling Language for Constraint Programming. CP 1997: 1
71		Laurent Michel, Pascal Van Hentenryck: Localizer: A Modeling Language for Local Search. CP 1997: 237-251
70		Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck: Improving Distributed Unification through Type Analysis. Euro-Par 1997: 1181-1190
69		Pascal Van Hentenryck: Numerica: A Modeling Language for Global Optimization. IJCAI 1997: 1642-1650
68		Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. IJCAI (1) 1997: 405-411
67		Vijay A. Saraswat, Pascal Van Hentenryck: Introduction to the Special Issue. Constraints 2(1): 5-6 (1997)
66		Pascal Van Hentenryck, Vijay A. Saraswat: Constraint Programming: Strategic Directions. Constraints 2(1): 7-33 (1997)
65		Pascal Van Hentenryck: Constraint Programming for Combinatorial Search Problems. Constraints 2(1): 99-101 (1997)
64		Frédéric Benhamou, Pascal Van Hentenryck: Introduction to the Special Issue on Interval Constraints. Constraints 2(2): 107-112 (1997)
63		Laurent Michel, Pascal Van Hentenryck: Helios: A Modeling Language for Global Optimization and its Implementation in Newton. Theor. Comput. Sci. 173(1): 3-48 (1997)
	1996
62		Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck: Comsumption-based Distributed Unification. APPIA-GULP-PRODE 1996: 207-218
61		Philippe Refalo, Pascal Van Hentenryck: CLP(Rlin) Revised. JICSLP 1996: 22-36
60		Pascal Van Hentenryck, Vijay A. Saraswat: Strategic Directions in Constraint Programming. ACM Comput. Surv. 28(4): 701-726 (1996)
59		Pascal Van Hentenryck: Constraint Programming for Combinatorial Search Problems. ACM Comput. Surv. 28(4es): 76 (1996)
58		Jean-Louis Imbert, Pascal Van Hentenryck: Redundancy Elimination with a Lexicographic Solved Form. Ann. Math. Artif. Intell. 17(1-2): 85-106 (1996)
57		Pascal Van Hentenryck: In Memoriam: Paris C. Kanellakis. J. Log. Program. 27(1): 1-3 (1996)
	1995
56		Pascal Van Hentenryck: Constraint Solving for Combinatorial Search Problems: A Tutorial. CP 1995: 564-587
55		Baudouin Le Charlier, Pascal Van Hentenryck: A generic fixpoint semantics for PROLOG and its application for abstract interpretation. JFPLC 1995: 113-125
54		Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck: Semantic Foundations of Binding Time Analysis for Imperative Programs. PEPM 1995: 100-110
53		Viswanath Ramachandran, Pascal Van Hentenryck: LSign Reordered SAS 1995: 330-347
52		Pascal Van Hentenryck, Viswanath Ramachandran: Backtracking without Trailing in CLP(R-lin) ACM Trans. Program. Lang. Syst. 17(4): 635-671 (1995)
51		Baudouin Le Charlier, Pascal Van Hentenryck: Reexecution in Abstract Interpretation of Prolog. Acta Inf. 32(3): 209-270 (1995)
50		Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Type Analysis of Prolog Using Type Graphs. J. Log. Program. 22(3): 179-209 (1995)
49		Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Evaluation of the Domain Prop. J. Log. Program. 23(3): 237-278 (1995)
	1994
48		Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD) Constraint Programming 1994: 293-316
47		Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: An Abstract Interpretation Framework for (almost) Full Prolog. GULP-PRODE (1) 1994: 92-106
46		Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Type Analysis of Prolog Using Type Graphs. PLDI 1994: 337-348
45		Pascal Van Hentenryck, Viswanath Ramachandran: Backtracking without Trailing in CLP(RLin). PLDI 1994: 349-360
44		Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck: Combinations of Abstract Domains for Logic Programming. POPL 1994: 227-239
43		Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck: CLP(Intervals) Revisited. SLP 1994: 124-138
42		Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. SLP 1994: 157-171
41		C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck: Cardinality Analysis of Prolog. SLP 1994: 457-471
40		Baudouin Le Charlier, Pascal Van Hentenryck: Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. ACM Trans. Program. Lang. Syst. 16(1): 35-101 (1994)
	1993
39		Viswanath Ramachandran, Pascal Van Hentenryck: Incremental Algorithms for Constraint Solving and Entailment over Rational Trees. FSTTCS 1993: 205-217
38		Pascal Van Hentenryck: Constraint Programming Languages. ICTAI 1993: 10
37		Baudouin Le Charlier, Pascal Van Hentenryck: Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop. PEPM 1993: 99-110
36		Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel: The Impact of Granularity in Abstract Interpretation of Prolog. WSA 1993: 1-14
35		Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck: Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. WSA 1993: 15-26
34		Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck: Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation. Softw., Pract. Exper. 23(4): 419-459 (1993)
	1992
33		Baudouin Le Charlier, Pascal Van Hentenryck: Experimental evaluation of a generic abstract interpretation algorithm for Prolog. ICCL 1992: 137-146
32		Baudouin Le Charlier, Pascal Van Hentenryck: Reexecution in Abstract Interpretation of Prolog. JICSLP 1992: 750-764
31		Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck: Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. PLILP 1992: 310-325
30		Baudouin Le Charlier, Pascal Van Hentenryck: On the Design of Generic Abstract Interpretation Frameworks. WSA 1992: 229-246
29		Pascal Van Hentenryck, Thomas Graf: Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming. Ann. Math. Artif. Intell. 5(2-4): 303-319 (1992)
28		Pascal Van Hentenryck, Yves Deville, Choh-Man Teng: A Generic Arc-Consistency Algorithm and its Specializations. Artif. Intell. 57(2-3): 291-321 (1992)
27		Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas: Constraint Satisfaction Using Constraint Logic Programming. Artif. Intell. 58(1-3): 113-159 (1992)
	1991
26		Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck: A Generic Abstract Interpretation Algorithm and its Complexity Analysis. ICLP 1991: 64-78
25		Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ICLP 1991: 745-759
24		Yves Deville, Pascal Van Hentenryck: An Efficient Arc Consistency Algorithm for a Class of CSP Problems. IJCAI 1991: 325-330
23		Jean-Louis Imbert, Pascal Van Hentenryck: A propos des redondances dans les systèmes d'inéquations linéaires. JTASPEFT/WSA 1991: 210-216
22		Pascal Van Hentenryck, Yves Deville: Operational Semantics of Constraint Logic Programming over Finite Domains. PLILP 1991: 395-406
21		Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. WCLP 1991: 283-403
20		Jean-Louis Imbert, Pascal Van Hentenryck: On the Handling of Disequations in CLP over Linear Rational Arithmetic. WCLP 1991: 49-71
19		Pascal Van Hentenryck, Thierry Le Provost: Incremental Search in Constraint Logic Programming. New Generation Comput. 9(3/4): 257-276 (1991)
	1990
18		Yves Deville, Pascal Van Hentenryck: Construction of CLP Programs. ALPUK 1990: 112-135
17		Pascal Van Hentenryck: Incremental Constraint Satisfaction in Logic Programming. ICLP 1990: 189-202
16		Pascal Van Hentenryck: Constraint Logic Programming: From Theory to Applications. NACLP 1990: 841
15		Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving Large Combinatorial Problems in Logic Programming. J. Log. Program. 8(1): 75-93 (1990)
	1989
14		Pascal Van Hentenryck: Constraint satisfaction in logic progamming. MIT Press 1989: I-XXVI, 1-224
13		Pascal Van Hentenryck: Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. ICLP 1989: 165-180
12		Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer: Simulation of Hybrid Circuits in Constraint Logic Programming. IJCAI 1989: 72-77
	1988
11		Pascal Van Hentenryck, Jean-Philippe Carillon: Generality versus Specificity: An Experience with AI and OR Techniques. AAAI 1988: 660-664
10		Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold: The CHIP System: Constraint Handling In Prolog. CADE 1988: 774-775
9		Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving the Car-Sequencing Problem in Constraint Logic Programming. ECAI 1988: 290-295
8		Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier: The Constraint Logic Programming Language CHIP. FGCS 1988: 693-702
7		Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP 1988: 42-58
6		Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf: Applications of CHIP to Industrial and Engineering Problems. IEA/AIE (Vol. 2) 1988: 885-892
	1987
5		Pascal Van Hentenryck, Mehmet Dincbas: Forward Checking in Logic Programming. ICLP 1987: 229-256
4		Pascal Van Hentenryck: A Theoretical Framework for Consistency Techniques in Logic Programming. IJCAI 1987: 2-8
3		Mehmet Dincbas, Pascal Van Hentenryck: Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. J. Log. Program. 4(3): 199-227 (1987)
	1986
2		Pascal Van Hentenryck, Mehmet Dincbas: Domains in Logic Programming. AAAI 1986: 759-765
1		Mehmet Dincbas, Pascal Van Hentenryck: Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. SPLT 1986: 203-232

Coauthor Index

1	Abderrahmane Aggoun	[6] [8] [10]
2	Magnus Ågren	[105] [131] [185]
3	Aris Anagnostopoulos	[107] [115] [144]
4	Ionut D. Aron	[100] [114]
5	Olivier Barette	[68] [81]
6	Frédéric Benhamou	[43] [64] [74] [92]
7	Russell Bent	[106] [111] [112] [113] [115] [118] [122] [124] [134] [142] [146] [150] [158] [163] [169] [188] [203] [206] [209] [221]
8	Antonio Berlanga (Antonio Berlanga de Jesús)	[201]
9	Françoise Berthier	[8]
10	Christian Bessiere (Christian Bessière)	[108]
11	Colin Blundell	[123]
12	Glencora Borradaile	[125]
13	C. Braem	[41]
14	Jean-Philippe Carillon	[11]
15	Manuel Cebrián	[180] [183] [213]
16	Baudouin Le Charlier	[26] [30] [31] [32] [33] [34] [35] [36] [37] [40] [41] [42] [44] [46] [47] [49] [50] [51] [55] [87] [90] [96]
17	Peter Clote	[180] [183] [204] [213]
18	Carleton Coffrin	[189] [200] [206] [215] [221] [226]
19	Hélène Collavizza	[172] [173] [181] [202]
20	Agostino Cortesi	[44] [46] [49] [50] [87] [88]
21	Carlos Cotta	[147] [148] [160]
22	Isabel F. Cruz	[76]
23	Manuvir Das	[54]
24	Olivier Degimbe	[35] [36]
25	Yves Deville	[18] [21] [22] [24] [25] [28] [48] [68] [75] [78] [81] [86] [93] [94] [97] [99] [190] [193] [194] [208] [212] [215] [225] [227]
26	Mehmet Dincbas	[1] [2] [3] [5] [6] [7] [8] [9] [10] [15] [27]
27	Grégoire Dooms	[165] [175] [182] [186]
28	Iván Dotú (Iván Javier Dotú Rodríguez)	[135] [137] [139] [147] [148] [152] [160] [161] [180] [183] [201] [204] [213]
29	Pham Quang Dung (Quang-Dung Pham)	[190] [193] [208]
30	Vincent Englebert	[31] [34]
31	Antonio J. Fernández (Antonio José Fernández Leiva)	[147] [148] [160]
32	Kathi Fisler	[123]
33	Pierre Flener	[105] [131] [151] [185]
34	Jose García	[201]
35	Carmen Gervet	[156] [182] [205]
36	Thomas Graf	[6] [8] [12] [29]
37	Boris Gutkovich	[200]
38	Alexander Herold	[10]
39	Jean-Louis Imbert	[20] [23] [58]
40	Siddhartha Jain	[224]
41	Micha Janssen	[78] [86] [93] [94] [97] [99]
42	Irit Katriel	[128] [141] [142] [168]
43	Shriram Krishnamurthi	[123]
44	Philippe Laborie	[85]
45	Evelina Lamma	[62] [70] [80]
46	Liyuan Liu	[121] [127]
47	José M. Molina López (José Manuel Molina, José M. Molina)	[201]
48	W. A. Lorenz	[204]
49	Kim Marriott	[76]
50	Florence Massen	[227]
51	David A. McAllester	[43]
52	Paola Mello	[62] [70] [80]
53	Luc Mercier	[159] [162] [171] [179] [188] [218]
54	Laurent D. Michel (Laurent Michel)	[35] [36] [63] [71] [74] [79] [82] [83] [85] [89] [101] [104] [107] [109] [110] [116] [117] [119] [120] [121] [126] [127] [128] [129] [136] [138] [140] [143] [144] [145] [153] [154] [155] [164] [165] [166] [177] [178] [184] [186] [187] [189] [197] [198] [210] [215] [216] [217] [228]
55	S. Modart	[41]
56	Jean-Noël Monette	[194] [215]
57	Martijn Moraal	[197] [198]
58	Sébastien Mouthuy	[225]
59	Kaninda Musumbu	[26]
60	Siegfried Nijssen	[214]
61	Wim Nuijten (W. P. M. Nuijten)	[85]
62	Barry O'Sullivan	[214]
63	Dario Pacino	[220]
64	Miguel A. Patricio (Miguel Ángel Patricio Guisado)	[201]
65	Justin Pearson	[105] [131] [151] [185]
66	Marie Pelleau	[192]
67	Laurent Perron	[82] [91]
68	Claudine Pradelles	[12]
69	Thierry Le Provost	[19]
70	Jean-François Puget (Jean-Francois Puget)	[91]
71	Luc De Raedt	[214]
72	Viswanath Ramachandran	[39] [45] [52] [53] [88]
73	Philippe Refalo	[61]
74	Jean-Charles Régin	[82] [196]
75	Thomas W. Reps	[54]
76	Jerome Rogerie	[85]
77	Didier Roland	[31] [34]
78	Sabina Rossi	[42] [47] [90] [96]
79	Michel Rueher	[172] [173] [181] [202]
80	Vijay A. Saraswat	[48] [60] [66] [67] [75]
81	Pierre Schaus	[196] [207] [215]
82	Andrew See	[154] [155] [164] [184] [187]
83	Meinolf Sellmann	[132] [151] [168] [185]
84	Alexander A. Shvartsman	[178] [189] [197] [198] [210] [217]
85	Ben Simon	[226]
86	Helmut Simonis	[6] [7] [8] [9] [10] [15] [27]
87	Elaine L. Sonderegger	[178] [189] [197] [198] [210] [217]
88	Cesare Stefanelli	[62] [70] [80]
89	Choh-Man Teng	[28]
90	Charlotte Truchet	[192]
91	Eli Upfal	[115] [168] [203]
92	Alvaro del Val	[139]
93	Yannis Vergados (Ioannis Vergados)	[107] [133] [144] [149] [150] [167] [188]
94	Laurence A. Wolsey	[170]
95	Justin Yip (J. Y. K. Yip)	[182] [191] [199] [205] [211] [219] [223]
96	Alessandro Zanarini	[207] [222]
97	Laurent Zimmer	[12]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page