Pascal Van Hentenryck Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page