×

zbMATH — the first resource for mathematics

Van Hentenryck, Pascal

Compute Distance To:
Author ID: van-hentenryck.pascal Recent zbMATH articles by "Van Hentenryck, Pascal"
Published as: Van Hentenryck, P.; Van Hentenryck, Pascal; van Hentenryck, P.; van Hentenryck, Pascal
Documents Indexed: 124 Publications since 1987, including 4 Books
all top 5

Co-Authors

8 single-authored
25 Michel, Laurent
14 Bent, Russell W.
14 Deville, Yves
5 Janssen, Micha
5 Le Charlier, Baudouin
5 Mercier, Luc
4 Berbeglia, Gerardo
4 Coffrin, Carleton
4 Cortesi, Agostino
4 Dincbas, Mehmet
4 Vergados, Yannis
3 Chertkov, Michael
3 Dotú, Iván
3 Graf, Thomas
3 Katriel, Irit
3 Saraswat, Vijay A.
3 See, Andrew
3 Simonis, Helmut
2 Abeliuk, Andrés
2 Anagnostopoulos, Aris
2 Cebrián, Manuel
2 Dooms, Gregoire
2 Eliiyi, Deniz Türsel
2 Fioretto, Ferdinando
2 Hijazi, Hassan
2 Kizilay, Damla
2 Lam, Edward
2 Lamma, Evelina
2 Liu, Liyuan
2 Mairy, Jean-Baptiste
2 Mello, Paola
2 Misra, Sidhant
2 Pham, Quang Dung
2 Puget, Jean-François
2 Stefanelli, Cesare
2 Upfal, Eli
2 Vuffray, Marc
2 Zanarini, Alessandro
2 Zimmer, Laurent
1 Ågren, Magnus
1 Aron, Ionuţ D.
1 Backhaus, Scott N.
1 Barette, Olivier
1 Benhamou, Frédéric
1 Berbeglia, Franco
1 Bessiere, Christian
1 Borradaile, Glencora
1 Borraz-Sánchez, Conrado
1 Byeon, Geunyeong
1 Collavizza, Hélène
1 Cotta, Carlos C.
1 Cruz, Isabel F.
1 Dekker, Jip J.
1 Dvijotham, Krishnamurthy
1 Fernández, Antonio J.
1 Flener, Pierre
1 Flores, Alvaro
1 Fontaine, Daniel
1 Gange, Graeme
1 Gervet, Carmen
1 Imbert, Jean-Louis
1 Jovanović, Mihailo R.
1 Kapur, Deepak
1 Kearfott, Baker
1 Krishnamurthy, Dvijotham
1 Le Provost, Thierry
1 Legrain, Antoine
1 Lesieutre, Bernard C.
1 Low, S. C.
1 Mak, Terrence W. K.
1 Maldonado, Felipe
1 Marriott, Kim
1 McAllester, David Allen
1 Milano, Michela
1 Mouthuy, Sébastien
1 Nagarajan, Harsha
1 Nakao, Mitsuhiro T.
1 Neumaier, Arnold
1 Pearson, Justin
1 Perron, Laurent
1 Pillac, Victor
1 Pradelles-Lasserre, C.
1 Pradelles, Claudine
1 Ramachandran, Vinod
1 Riley, Connor
1 Rossi, Sabina
1 Rueher, Michel
1 Rump, Siegfried Michael
1 Schaus, Pierre
1 Sellmann, Meinolf
1 Sharyĭ, Sergeĭ Petrovich
1 Shvartsman, Alexander A.
1 Sonderegger, Elaine L.
1 Stuckey, Peter James
1 Tasseff, Byron
1 Teng, Choh Man
1 Wehenkel, Louis A.
1 Wolsey, Laurence Alexander
1 Yip, Justin
1 Zlotnik, Anatoly

Publications by Year

Citations contained in zbMATH Open

101 Publications have been cited 818 times in 636 Documents Cited by Year
Simulation of hybrid circuits in constraint logic programming. Zbl 0707.68101
Graf, Thomas; Van Hentenryck, Pascal; Pradelles, Claudine; Zimmer, Laurent
65
1989
Scenario-based planning for partially dynamic vehicle routing with stochastic customers. Zbl 1165.90600
Bent, Russell W.; Van Hentenryck, Pascal
48
2004
A generic arc-consistency algorithm and its specializations. Zbl 0763.68059
van Hentenryck, Pascal; Deville, Yves; Teng, Choh-Man
45
1992
A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows. Zbl 1079.90591
Bent, Russell; van Hentenryck, Pascal
36
2006
Standardized notation in interval analysis. Zbl 1196.65088
Kearfott, R. B.; Nakao, M. T.; Neumaier, A.; Rump, S. M.; Shary, S. P.; van Hentenryck, P.
31
2010
A simulated annealing approach to the traveling tournament problem. Zbl 1154.90401
Anagnostopoulos, A.; Michel, L.; Van Hentenryck, P.; Vergados, Y.
31
2006
Design, implementation, and evaluation of the constraint language \(cc(FD)\). Zbl 0920.68026
Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
28
1998
On the complexity of the robust spanning tree problem with interval data. Zbl 1056.90114
Aron, Ionuţ D.; Van Hentenryck, Pascal
26
2004
Solving polynomial systems using a branch and prune approach. Zbl 0874.65039
Van Hentenryck, Pascal; McAllester, David; Kapur, Deepak
24
1997
A simple tabu search for warehouse location. Zbl 1067.90054
Michel, Laurent; Van Hentenryck, Pascal
22
2004
Constraint satisfaction using constraint logic programming. Zbl 0782.68028
Van Hentenryck, Pascal; Simonis, Helmut; Dincbas, Mehmet
22
1992
Parallel local search in Comet. Zbl 1153.90582
Michel, Laurent; Van Hentenryck, Pascal
20
2005
Solving large combinatorial problems in logic programming. Zbl 0719.68013
Dincbas, Mehmet; Simonis, Helmut; van Hentenryck, Pascal
20
1990
Convex quadratic relaxations for mixed-integer nonlinear programs in power systems. Zbl 1387.90158
Hijazi, Hassan; Coffrin, Carleton; Van Hentenryck, Pascal
16
2017
Extended unification algorithms for the integration of functional programming into logic programming. Zbl 0623.68006
Dincbas, Mehmet; van Hentenryck, Pascal
16
1987
To be or not to be \(\ldots\) a global constraint. Zbl 1273.68334
Bessière, Christian; Van Hentenryck, Pascal
14
2003
Search and strategies in OPL. Zbl 1365.90281
Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-François
13
2000
Solving a cutting-stock problem with the constraint logic programming language CHIP. Zbl 0800.68287
Dincbas, M.; Simonis, H.; van Hentenryck, P.
13
1992
A linear-programming approximation of AC power flows. Zbl 1304.90051
Coffrin, Carleton; Van Hentenryck, Pascal
12
2014
Constraint and integer programming in OPL. Zbl 1238.90102
Van Hentenryck, Pascal
12
2002
Combinations of abstract domains for logic programming: Open product and generic pattern construction. Zbl 0957.68023
Cortesi, Agostino; Le Charlier, Baudouin; Van Hentenryck, Pascal
11
2000
Constraint satisfaction over connected row-convex constraints. Zbl 0916.68061
Deville, Yves; Barette, Olivier; Van Hentenryck, Pascal
11
1999
Online stochastic and robust optimization. Zbl 1115.68568
Bent, Russell; Van Hentenryck, Pascal
9
2004
Localizer. Zbl 0988.90015
Michel, Laurent; Van Hentenryck, Pascal
9
2000
Edge finding for cumulative scheduling. Zbl 1243.90068
Mercier, Luc; Van Hentenryck, Pascal
8
2008
Traveling tournament scheduling: A systematic evaluation of simulated annealling. Zbl 1177.90187
Van Hentenryck, Pascal; Vergados, Yannis
8
2006
A logic language for combinatorial optimization. Zbl 0705.90074
Van Hentenryck, Pascal
8
1989
Convex relaxations for gas expansion planning. Zbl 1355.90063
Borraz-Sánchez, Conrado; Bent, Russell; Backhaus, Scott; Hijazi, Hassan; Van Hentenryck, Pascal
7
2016
Control abstractions for local search. Zbl 1084.68033
Van Hentenryck, Pascal; Michel, Laurent
7
2005
Consistency techniques in ordinary differential equations. Zbl 1020.65035
Deville, Yves; Janssen, Micha; Van Hentenryck, Pascal
7
2002
Type analysis of Prolog using type graphs. Zbl 0830.68029
Van Hentenryck, Pascal; Cortesi, Agostino; Le Charlier, Baudouin
7
1995
An efficiency arc consistecy algorithm for a class of CSP problems. Zbl 0747.68066
Deville, Yves; van Hentenryck, Pascal
7
1991
Assortment optimization under a multinomial logit model with position bias and social influence. Zbl 1336.90046
Abeliuk, Andrés; Berbeglia, Gerardo; Cebrian, Manuel; Van Hentenryck, Pascal
6
2016
Spatial and objective decompositions for very large SCAPs. Zbl 1302.68250
Coffrin, Carleton; Van Hentenryck, Pascal; Bent, Russell
6
2011
Online stochastic reservation systems. Zbl 1177.90303
Van Hentenryck, Pascal; Bent, Russell; Vergados, Yannis
6
2006
Scheduling social golfers locally. Zbl 1133.90336
Dotú, Iván; Van Hentenryck, Pascal
6
2005
Newton: Constraint programming over nonlinear constraints. Zbl 0891.68015
Van Hentenryck, Pascal; Michel, Laurent; Benhamou, Frédéric
6
1998
Assortment optimization under the sequential multinomial logit model. Zbl 1403.91111
Flores, Alvaro; Berbeglia, Gerardo; Van Hentenryck, Pascal
5
2019
An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization. Zbl 1214.90092
Mercier, Luc; Van Hentenryck, Pascal
5
2011
Online stochastic optimization under time constraints. Zbl 1229.90112
Van Hentenryck, Pascal; Bent, Russell; Upfal, Eli
5
2010
Dynamic structural symmetry breaking for constraint satisfaction problems. Zbl 1186.68438
Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal; Ågren, Magnus
5
2009
Model-driven visualizations of constraint-based local search. Zbl 1179.68141
Dooms, Grégoire; Van Hentenryck, Pascal; Michel, Laurent
5
2009
Parallel and distributed local search in COMET. Zbl 1179.90288
Michel, Laurent; See, Andrew; van Hentenryck, Pascal
5
2009
Amsaa: A multistep anticipatory algorithm for online stochastic combinatorial optimization. Zbl 1142.90478
Mercier, Luc; Van Hentenryck, Pascal
5
2008
Nondeterministic control for hybrid search. Zbl 1112.68039
Van Hentenryck, Pascal; Michel, Laurent
5
2006
Scheduling abstractions for local search. Zbl 1094.90565
Van Hentenryck, Pascal; Michel, Laurent
5
2004
A simple and deterministic competitive algorithm for online facility location. Zbl 1089.90036
Anagnostopoulos, Aris; Bent, Russell; Upfal, Eli; Van Hentenryck, Pascal
5
2004
Helios: A modeling language for global optimization and its implementation in Newton. Zbl 0905.65070
Michel, Laurent; Van Hentenryck, Pascal
5
1997
Incremental search in constraint logic programming. Zbl 0731.68023
Van Hentenryck, Pascal; Le Provost, Thierry
5
1991
Operational semantics of constraint logic programming over finite domains. Zbl 0789.68021
Van Hentenryck, Pascal; Deville, Yves
5
1991
Simulation of hybrid circuits in constraint logic programming. Zbl 0728.68144
Graf, T.; Van Hentenryck, P.; Pradelles-Lasserre, C.; Zimmer, L.
5
1990
Local search-based hybrid algorithms for finding Golomb rulers. Zbl 1211.90194
Cotta, Carlos; Dotú, Iván; Fernández, Antonio J.; Van Hentenryck, Pascal
4
2007
Distributed constraint-based local search. Zbl 1160.68556
Michel, Laurent; See, Andrew; Van Hentenryck, Pascal
4
2006
Safe and tight linear estimators for global optimization. Zbl 1066.90087
Borradaile, Glencora; Van Hentenryck, Pascal
4
2005
Constraint-based combinators for local search. Zbl 1152.68589
Van Hentenryck, Pascal; Michel, Laurent; Liu, Liyuan
4
2004
Redundancy elimination with a lexicographic solved form. Zbl 0887.90115
Imbert, J.-L.; Van Hentenryck, Pascal
4
1996
Standard forms for rational linear arithmetic in constraint logic programming. Zbl 1034.68508
Van Hentenryck, Pascal; Graf, Thomas
4
1992
Constraint and mathematical programming models for integrated port container terminal operations. Zbl 06982403
Kizilay, Damla; Eliiyi, Deniz Türsel; Van Hentenryck, Pascal
3
2018
A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115
Lam, Edward; Van Hentenryck, Pascal
3
2016
Sub-optimality approximations. Zbl 1153.90577
Bent, Russell; Katriel, Irit; Van Hentenryck, Pascal
3
2005
Contraint-based combinators for local search. Zbl 1102.68460
Van Hentenryck, Pascal; Michel, Laurent; Liu, Liyuan
3
2005
A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows. Zbl 1273.90020
Bent, Russell; Van Hentenryck, Pascal
3
2003
A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. Zbl 1032.65069
Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves
3
2002
LOCALIZER: A modeling language for local search. Zbl 0942.68550
van Hentenryck, Pascal
3
1999
A constraint satisfaction approach to a circuit design problem. Zbl 0914.90241
Puget, Jean-François; Van Hentenryck, Pascal
3
1998
Constraint programming for combinatorial search problems. Zbl 1315.68070
Van Hentenryck, Pascal
3
1997
Constraint programming: strategic directions. Zbl 1315.68071
Van Hentenryck, Pascal; Saraswat, Vijay
3
1997
Evaluation of the domain \(Prop\). Zbl 0862.68027
Van Hentenryck, Pascal; Cortesi, Agostino; Le Charlier, Boudouin
3
1995
A microkernel architecture for constraint programming. Zbl 1390.90520
Michel, L.; Van Hentenryck, P.
2
2017
Optimal and efficient filtering algorithms for table constraints. Zbl 1328.68201
Mairy, Jean-Baptiste; van Hentenryck, Pascal; Deville, Yves
2
2014
Constraint-based very large-scale neighborhood search. Zbl 1242.90104
Mouthuy, Sébastien; Van Hentenryck, Pascal; Deville, Yves
2
2012
Hybrid optimization. The ten years of CPAIOR. Zbl 1201.90004
Milano, Michela (ed.); Van Hentenryck, Pascal (ed.)
2
2011
Constraint-based local search for constrained optimum paths problems. Zbl 1285.68160
Pham, Quang Dung; Deville, Yves; Van Hentenryck, Pascal
2
2010
Transparent parallelization of constraint programming. Zbl 1243.90008
Michel, Laurent; See, Andrew; Van Hentenryck, Pascal
2
2009
Online stochastic reservation systems. Zbl 1181.90234
Van Hentenryck, Pascal; Bent, Russell; Mercier, Luc; Vergados, Yannis
2
2009
Strong polynomiality of resource constraint propagation. Zbl 1153.90430
Mercier, Luc; van Hentenryck, Pascal
2
2007
Differentiable invariants. Zbl 1160.68569
Van Hentenryck, Pascal; Michel, Laurent
2
2006
Nondeterministic control for hybrid search. Zbl 1133.68438
Van Hentenryck, Pascal; Michel, Laurent
2
2005
Maintaining longest paths incrementally. Zbl 1084.68027
Katriel, Irit; Michel, Laurent; Van Hentenryck, Pascal
2
2005
A decomposition-based implementation of search strategies. Zbl 1367.68267
Michel, Laurent; Van Hentenryck, Pascal
2
2004
Abstract domains for reordering CLP(\(\operatorname{Re}_{Lin}\)) programs. Zbl 0952.68031
Ramachandran, V.; Van Hentenryck, P.; Cortesi, A.
2
2000
LOCALIZER: a modeling language for local search. Zbl 1092.90534
Michel, Laurent; Van Hentenryck, Pascal
2
1999
A gentle introduction to Numerica. Zbl 0910.68095
Van Hentenryck, Pascal
2
1998
Constraint programming models for integrated container terminal operations. Zbl 1443.90183
Kizilay, Damla; Van Hentenryck, Pascal; Eliiyi, Deniz T.
1
2020
Popularity signals in trial-offer markets with social influence and position bias. Zbl 1403.91052
Maldonado, Felipe; van Hentenryck, Pascal; Berbeglia, Gerardo; Berbeglia, Franco
1
2018
Graphical models for optimal power flow. Zbl 1387.90262
Dvijotham, Krishnamurthy; Chertkov, Michael; van Hentenryck, Pascal; Vuffray, Marc; Misra, Sidhant
1
2017
Bargaining mechanisms for one-way games. Zbl 1404.91116
Abeliuk, Andrés; Berbeglia, Gerardo; Van Hentenryck, Pascal
1
2015
A column-generation approach for joint mobilization and evacuation planning. Zbl 1327.90353
Pillac, Victor; Cebrian, Manuel; Van Hentenryck, Pascal
1
2015
Transmission system repair and restoration. Zbl 1328.90087
Van Hentenryck, P.; Coffrin, C.
1
2015
LS(graph): a constraint-based local search for constraint optimization on trees and paths. Zbl 1309.90089
Pham, Quang Dung; Deville, Yves; van Hentenryck, Pascal
1
2012
Optimal deployment of eventually-serializable data services. Zbl 1225.90089
Michel, L.; Shvartsman, A.; Sonderegger, E.; Van Hentenryck, P.
1
2011
CPBPV: a constraint-programming framework for bounded program verification. Zbl 1213.68173
Collavizza, Hélène; Rueher, Michel; Van Hentenryck, Pascal
1
2010
Gap reduction techniques for online stochastic project scheduling. Zbl 1142.90508
Dooms, Grégoire; Van Hentenryck, Pascal
1
2008
Scheduling social tournaments locally. Zbl 1146.90411
Dotú, Iván; Van Hentenryck, Pascal
1
2007
A modeling layer for constraint-programming libraries. Zbl 1241.68105
Michel, Laurent; Van Hentenryck, Pascal
1
2005
Maintaining longest paths incrementally. Zbl 1273.68355
Michel, Laurent; Van Hentenryck, Pascal
1
2003
Precisely A(\({\alpha}\))-stable one-leg multistep methods. Zbl 1038.65064
Janssen, M.; van Hentenryck, P.
1
2003
Principles and practice of constraint programming – CP 2002. 8th international conference, CP 2002, Ithaca, NY, USA, September 9–13, 2002. Proceedings. Zbl 1049.68016
Van Hentenryck, Pascal (ed.)
1
2002
Sequence-based abstract interpretation of Prolog. Zbl 1087.68532
Le Charlier, Baudouin; Rossi, Sabina; Van Hentenryck, Pascal
1
2002
Optimal pruning in parametric differential equations. Zbl 1067.65509
Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves
1
2001
Constraint programming models for integrated container terminal operations. Zbl 1443.90183
Kizilay, Damla; Van Hentenryck, Pascal; Eliiyi, Deniz T.
1
2020
Assortment optimization under the sequential multinomial logit model. Zbl 1403.91111
Flores, Alvaro; Berbeglia, Gerardo; Van Hentenryck, Pascal
5
2019
Constraint and mathematical programming models for integrated port container terminal operations. Zbl 06982403
Kizilay, Damla; Eliiyi, Deniz Türsel; Van Hentenryck, Pascal
3
2018
Popularity signals in trial-offer markets with social influence and position bias. Zbl 1403.91052
Maldonado, Felipe; van Hentenryck, Pascal; Berbeglia, Gerardo; Berbeglia, Franco
1
2018
Convex quadratic relaxations for mixed-integer nonlinear programs in power systems. Zbl 1387.90158
Hijazi, Hassan; Coffrin, Carleton; Van Hentenryck, Pascal
16
2017
A microkernel architecture for constraint programming. Zbl 1390.90520
Michel, L.; Van Hentenryck, P.
2
2017
Graphical models for optimal power flow. Zbl 1387.90262
Dvijotham, Krishnamurthy; Chertkov, Michael; van Hentenryck, Pascal; Vuffray, Marc; Misra, Sidhant
1
2017
Convex relaxations for gas expansion planning. Zbl 1355.90063
Borraz-Sánchez, Conrado; Bent, Russell; Backhaus, Scott; Hijazi, Hassan; Van Hentenryck, Pascal
7
2016
Assortment optimization under a multinomial logit model with position bias and social influence. Zbl 1336.90046
Abeliuk, Andrés; Berbeglia, Gerardo; Cebrian, Manuel; Van Hentenryck, Pascal
6
2016
A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115
Lam, Edward; Van Hentenryck, Pascal
3
2016
Bargaining mechanisms for one-way games. Zbl 1404.91116
Abeliuk, Andrés; Berbeglia, Gerardo; Van Hentenryck, Pascal
1
2015
A column-generation approach for joint mobilization and evacuation planning. Zbl 1327.90353
Pillac, Victor; Cebrian, Manuel; Van Hentenryck, Pascal
1
2015
Transmission system repair and restoration. Zbl 1328.90087
Van Hentenryck, P.; Coffrin, C.
1
2015
A linear-programming approximation of AC power flows. Zbl 1304.90051
Coffrin, Carleton; Van Hentenryck, Pascal
12
2014
Optimal and efficient filtering algorithms for table constraints. Zbl 1328.68201
Mairy, Jean-Baptiste; van Hentenryck, Pascal; Deville, Yves
2
2014
Constraint-based very large-scale neighborhood search. Zbl 1242.90104
Mouthuy, Sébastien; Van Hentenryck, Pascal; Deville, Yves
2
2012
LS(graph): a constraint-based local search for constraint optimization on trees and paths. Zbl 1309.90089
Pham, Quang Dung; Deville, Yves; van Hentenryck, Pascal
1
2012
Spatial and objective decompositions for very large SCAPs. Zbl 1302.68250
Coffrin, Carleton; Van Hentenryck, Pascal; Bent, Russell
6
2011
An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization. Zbl 1214.90092
Mercier, Luc; Van Hentenryck, Pascal
5
2011
Hybrid optimization. The ten years of CPAIOR. Zbl 1201.90004
Milano, Michela (ed.); Van Hentenryck, Pascal (ed.)
2
2011
Optimal deployment of eventually-serializable data services. Zbl 1225.90089
Michel, L.; Shvartsman, A.; Sonderegger, E.; Van Hentenryck, P.
1
2011
Standardized notation in interval analysis. Zbl 1196.65088
Kearfott, R. B.; Nakao, M. T.; Neumaier, A.; Rump, S. M.; Shary, S. P.; van Hentenryck, P.
31
2010
Online stochastic optimization under time constraints. Zbl 1229.90112
Van Hentenryck, Pascal; Bent, Russell; Upfal, Eli
5
2010
Constraint-based local search for constrained optimum paths problems. Zbl 1285.68160
Pham, Quang Dung; Deville, Yves; Van Hentenryck, Pascal
2
2010
CPBPV: a constraint-programming framework for bounded program verification. Zbl 1213.68173
Collavizza, Hélène; Rueher, Michel; Van Hentenryck, Pascal
1
2010
Dynamic structural symmetry breaking for constraint satisfaction problems. Zbl 1186.68438
Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal; Ågren, Magnus
5
2009
Model-driven visualizations of constraint-based local search. Zbl 1179.68141
Dooms, Grégoire; Van Hentenryck, Pascal; Michel, Laurent
5
2009
Parallel and distributed local search in COMET. Zbl 1179.90288
Michel, Laurent; See, Andrew; van Hentenryck, Pascal
5
2009
Transparent parallelization of constraint programming. Zbl 1243.90008
Michel, Laurent; See, Andrew; Van Hentenryck, Pascal
2
2009
Online stochastic reservation systems. Zbl 1181.90234
Van Hentenryck, Pascal; Bent, Russell; Mercier, Luc; Vergados, Yannis
2
2009
Edge finding for cumulative scheduling. Zbl 1243.90068
Mercier, Luc; Van Hentenryck, Pascal
8
2008
Amsaa: A multistep anticipatory algorithm for online stochastic combinatorial optimization. Zbl 1142.90478
Mercier, Luc; Van Hentenryck, Pascal
5
2008
Gap reduction techniques for online stochastic project scheduling. Zbl 1142.90508
Dooms, Grégoire; Van Hentenryck, Pascal
1
2008
Local search-based hybrid algorithms for finding Golomb rulers. Zbl 1211.90194
Cotta, Carlos; Dotú, Iván; Fernández, Antonio J.; Van Hentenryck, Pascal
4
2007
Strong polynomiality of resource constraint propagation. Zbl 1153.90430
Mercier, Luc; van Hentenryck, Pascal
2
2007
Scheduling social tournaments locally. Zbl 1146.90411
Dotú, Iván; Van Hentenryck, Pascal
1
2007
A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows. Zbl 1079.90591
Bent, Russell; van Hentenryck, Pascal
36
2006
A simulated annealing approach to the traveling tournament problem. Zbl 1154.90401
Anagnostopoulos, A.; Michel, L.; Van Hentenryck, P.; Vergados, Y.
31
2006
Traveling tournament scheduling: A systematic evaluation of simulated annealling. Zbl 1177.90187
Van Hentenryck, Pascal; Vergados, Yannis
8
2006
Online stochastic reservation systems. Zbl 1177.90303
Van Hentenryck, Pascal; Bent, Russell; Vergados, Yannis
6
2006
Nondeterministic control for hybrid search. Zbl 1112.68039
Van Hentenryck, Pascal; Michel, Laurent
5
2006
Distributed constraint-based local search. Zbl 1160.68556
Michel, Laurent; See, Andrew; Van Hentenryck, Pascal
4
2006
Differentiable invariants. Zbl 1160.68569
Van Hentenryck, Pascal; Michel, Laurent
2
2006
Parallel local search in Comet. Zbl 1153.90582
Michel, Laurent; Van Hentenryck, Pascal
20
2005
Control abstractions for local search. Zbl 1084.68033
Van Hentenryck, Pascal; Michel, Laurent
7
2005
Scheduling social golfers locally. Zbl 1133.90336
Dotú, Iván; Van Hentenryck, Pascal
6
2005
Safe and tight linear estimators for global optimization. Zbl 1066.90087
Borradaile, Glencora; Van Hentenryck, Pascal
4
2005
Sub-optimality approximations. Zbl 1153.90577
Bent, Russell; Katriel, Irit; Van Hentenryck, Pascal
3
2005
Contraint-based combinators for local search. Zbl 1102.68460
Van Hentenryck, Pascal; Michel, Laurent; Liu, Liyuan
3
2005
Nondeterministic control for hybrid search. Zbl 1133.68438
Van Hentenryck, Pascal; Michel, Laurent
2
2005
Maintaining longest paths incrementally. Zbl 1084.68027
Katriel, Irit; Michel, Laurent; Van Hentenryck, Pascal
2
2005
A modeling layer for constraint-programming libraries. Zbl 1241.68105
Michel, Laurent; Van Hentenryck, Pascal
1
2005
Scenario-based planning for partially dynamic vehicle routing with stochastic customers. Zbl 1165.90600
Bent, Russell W.; Van Hentenryck, Pascal
48
2004
On the complexity of the robust spanning tree problem with interval data. Zbl 1056.90114
Aron, Ionuţ D.; Van Hentenryck, Pascal
26
2004
A simple tabu search for warehouse location. Zbl 1067.90054
Michel, Laurent; Van Hentenryck, Pascal
22
2004
Online stochastic and robust optimization. Zbl 1115.68568
Bent, Russell; Van Hentenryck, Pascal
9
2004
Scheduling abstractions for local search. Zbl 1094.90565
Van Hentenryck, Pascal; Michel, Laurent
5
2004
A simple and deterministic competitive algorithm for online facility location. Zbl 1089.90036
Anagnostopoulos, Aris; Bent, Russell; Upfal, Eli; Van Hentenryck, Pascal
5
2004
Constraint-based combinators for local search. Zbl 1152.68589
Van Hentenryck, Pascal; Michel, Laurent; Liu, Liyuan
4
2004
A decomposition-based implementation of search strategies. Zbl 1367.68267
Michel, Laurent; Van Hentenryck, Pascal
2
2004
To be or not to be \(\ldots\) a global constraint. Zbl 1273.68334
Bessière, Christian; Van Hentenryck, Pascal
14
2003
A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows. Zbl 1273.90020
Bent, Russell; Van Hentenryck, Pascal
3
2003
Maintaining longest paths incrementally. Zbl 1273.68355
Michel, Laurent; Van Hentenryck, Pascal
1
2003
Precisely A(\({\alpha}\))-stable one-leg multistep methods. Zbl 1038.65064
Janssen, M.; van Hentenryck, P.
1
2003
Constraint and integer programming in OPL. Zbl 1238.90102
Van Hentenryck, Pascal
12
2002
Consistency techniques in ordinary differential equations. Zbl 1020.65035
Deville, Yves; Janssen, Micha; Van Hentenryck, Pascal
7
2002
A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. Zbl 1032.65069
Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves
3
2002
Principles and practice of constraint programming – CP 2002. 8th international conference, CP 2002, Ithaca, NY, USA, September 9–13, 2002. Proceedings. Zbl 1049.68016
Van Hentenryck, Pascal (ed.)
1
2002
Sequence-based abstract interpretation of Prolog. Zbl 1087.68532
Le Charlier, Baudouin; Rossi, Sabina; Van Hentenryck, Pascal
1
2002
Optimal pruning in parametric differential equations. Zbl 1067.65509
Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves
1
2001
Search and strategies in OPL. Zbl 1365.90281
Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-François
13
2000
Combinations of abstract domains for logic programming: Open product and generic pattern construction. Zbl 0957.68023
Cortesi, Agostino; Le Charlier, Baudouin; Van Hentenryck, Pascal
11
2000
Localizer. Zbl 0988.90015
Michel, Laurent; Van Hentenryck, Pascal
9
2000
Abstract domains for reordering CLP(\(\operatorname{Re}_{Lin}\)) programs. Zbl 0952.68031
Ramachandran, V.; Van Hentenryck, P.; Cortesi, A.
2
2000
Constraint satisfaction over connected row-convex constraints. Zbl 0916.68061
Deville, Yves; Barette, Olivier; Van Hentenryck, Pascal
11
1999
LOCALIZER: A modeling language for local search. Zbl 0942.68550
van Hentenryck, Pascal
3
1999
LOCALIZER: a modeling language for local search. Zbl 1092.90534
Michel, Laurent; Van Hentenryck, Pascal
2
1999
Design, implementation, and evaluation of the constraint language \(cc(FD)\). Zbl 0920.68026
Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
28
1998
Newton: Constraint programming over nonlinear constraints. Zbl 0891.68015
Van Hentenryck, Pascal; Michel, Laurent; Benhamou, Frédéric
6
1998
A constraint satisfaction approach to a circuit design problem. Zbl 0914.90241
Puget, Jean-François; Van Hentenryck, Pascal
3
1998
A gentle introduction to Numerica. Zbl 0910.68095
Van Hentenryck, Pascal
2
1998
Solving polynomial systems using a branch and prune approach. Zbl 0874.65039
Van Hentenryck, Pascal; McAllester, David; Kapur, Deepak
24
1997
Helios: A modeling language for global optimization and its implementation in Newton. Zbl 0905.65070
Michel, Laurent; Van Hentenryck, Pascal
5
1997
Constraint programming for combinatorial search problems. Zbl 1315.68070
Van Hentenryck, Pascal
3
1997
Constraint programming: strategic directions. Zbl 1315.68071
Van Hentenryck, Pascal; Saraswat, Vijay
3
1997
Redundancy elimination with a lexicographic solved form. Zbl 0887.90115
Imbert, J.-L.; Van Hentenryck, Pascal
4
1996
Type analysis of Prolog using type graphs. Zbl 0830.68029
Van Hentenryck, Pascal; Cortesi, Agostino; Le Charlier, Baudouin
7
1995
Evaluation of the domain \(Prop\). Zbl 0862.68027
Van Hentenryck, Pascal; Cortesi, Agostino; Le Charlier, Boudouin
3
1995
Reexecution in abstract interpretation of prolog. Zbl 0939.68572
Le Charlier, Baudouin; Van Hentenryck, Pascal
1
1995
A generic arc-consistency algorithm and its specializations. Zbl 0763.68059
van Hentenryck, Pascal; Deville, Yves; Teng, Choh-Man
45
1992
Constraint satisfaction using constraint logic programming. Zbl 0782.68028
Van Hentenryck, Pascal; Simonis, Helmut; Dincbas, Mehmet
22
1992
Solving a cutting-stock problem with the constraint logic programming language CHIP. Zbl 0800.68287
Dincbas, M.; Simonis, H.; van Hentenryck, P.
13
1992
Standard forms for rational linear arithmetic in constraint logic programming. Zbl 1034.68508
Van Hentenryck, Pascal; Graf, Thomas
4
1992
An efficiency arc consistecy algorithm for a class of CSP problems. Zbl 0747.68066
Deville, Yves; van Hentenryck, Pascal
7
1991
Incremental search in constraint logic programming. Zbl 0731.68023
Van Hentenryck, Pascal; Le Provost, Thierry
5
1991
Operational semantics of constraint logic programming over finite domains. Zbl 0789.68021
Van Hentenryck, Pascal; Deville, Yves
5
1991
Solving large combinatorial problems in logic programming. Zbl 0719.68013
Dincbas, Mehmet; Simonis, Helmut; van Hentenryck, Pascal
20
1990
Simulation of hybrid circuits in constraint logic programming. Zbl 0728.68144
Graf, T.; Van Hentenryck, P.; Pradelles-Lasserre, C.; Zimmer, L.
5
1990
Simulation of hybrid circuits in constraint logic programming. Zbl 0707.68101
Graf, Thomas; Van Hentenryck, Pascal; Pradelles, Claudine; Zimmer, Laurent
65
1989
A logic language for combinatorial optimization. Zbl 0705.90074
Van Hentenryck, Pascal
8
1989
...and 1 more Documents
all top 5

Cited by 1,235 Authors

38 Van Hentenryck, Pascal
9 Hnich, Brahim
8 Beldiceanu, Nicolas
8 Michel, Laurent
8 Stuckey, Peter James
7 Bessiere, Christian
7 Deville, Yves
7 Flener, Pierre
7 Laporte, Gilbert
7 Pearson, Justin
7 Sharyĭ, Sergeĭ Petrovich
7 Urrutia, Sebastián
6 Bent, Russell W.
6 Berbeglia, Gerardo
6 Cooper, Martin C.
6 Ribeiro, Celso Carneiro
6 Walsh, Toby
5 Cohen, David A.
5 Jeavons, Peter G.
5 Kasperski, Adam
5 Lee, Jimmy Ho-man
5 Milano, Michela
5 Solnon, Christine
5 Wallace, Mark G.
5 Wallace, Mark S.
5 Zhang, Yuanlin
4 Carlsson, Mats
4 Coffrin, Carleton
4 Cordeau, Jean-François
4 Cortesi, Agostino
4 Demoen, Bart
4 Dörner, Karl F.
4 Falaschi, Moreno
4 Freuder, Eugene C.
4 Garcia de la Banda, Maria
4 Gendreau, Michel
4 Hartl, Richard F.
4 Hashemi, Behnam
4 Hooker, John N. jun.
4 Miguel, Ian
4 Olarte, Carlos
4 Pesch, Erwin
4 Régin, Jean-Charles
4 Rueher, Michel
4 Schichl, Hermann
4 Schrijvers, Tom
4 Tack, Guido
4 Westphal, Stephan
3 Ågren, Magnus
3 Aissi, Hassene
3 Álvarez-Miranda, Eduardo
3 Artigues, Christian
3 Bagnara, Roberto
3 Bazgan, Cristina
3 Beck, J. Christopher
3 Candia-Véjar, Alfredo
3 Chen, Xujin
3 De Raedt, Luc
3 Dechter, Rina
3 Deruyver, Aline
3 Dey, Santanu S.
3 Domes, Ferenc
3 Drexl, Andreas
3 Fagerholt, Kjetil
3 Fages, François
3 Fotakis, Dimitris A.
3 Frisch, Alan M.
3 Frommer, Andreas
3 Geffner, Hector
3 Giacobazzi, Roberto
3 Goldsztejn, Alexandre
3 Hao, Jin-Kao
3 Hijazi, Hassan
3 Hill, Patricia M.
3 Hodé, Yann
3 Hofer, Eberhard P.
3 Hu, Xiaodong
3 Jaillet, Patrick
3 Januario, Tiago
3 Jaulin, Luc
3 Kiziltan, Zeynep
3 Kletting, Marco
3 Kocuk, Burak
3 Kubica, Bartłomiej Jacek
3 Lebbah, Yahia
3 Li, Haitao
3 Lopez, Pierre
3 Mears, Christopher
3 Mercier, Luc
3 Monette, Jean-Noël
3 Neumaier, Arnold
3 Nightingale, Peter W.
3 Nijssen, Siegfried
3 Petit, Thierry
3 Poder, Emmanuel
3 Prestwich, Steven D.
3 Prins, Christian
3 Rauh, Andreas
3 Rossi, Roberto
3 Rousseau, Louis-Martin
...and 1,135 more Authors
all top 5

Cited in 110 Serials

91 European Journal of Operational Research
58 Artificial Intelligence
55 Computers & Operations Research
55 Constraints
40 Annals of Operations Research
22 Theoretical Computer Science
14 Annals of Mathematics and Artificial Intelligence
11 Journal of Global Optimization
9 Operations Research Letters
9 Journal of Scheduling
8 Discrete Applied Mathematics
8 Journal of Computational and Applied Mathematics
7 Mathematical Programming. Series A. Series B
7 Discrete Optimization
6 INFORMS Journal on Computing
6 4OR
5 Applied Mathematics and Computation
5 Operations Research
5 Journal of Symbolic Computation
5 Information and Computation
5 Computational Optimization and Applications
5 Reliable Computing
5 Journal of Heuristics
5 Optimization and Engineering
5 RAIRO. Operations Research
5 OR Spectrum
4 Information Processing Letters
4 Linear Algebra and its Applications
4 Top
4 International Transactions in Operational Research
4 Theory and Practice of Logic Programming
3 International Journal of Control
3 Automatica
3 BIT
3 Fuzzy Sets and Systems
3 New Generation Computing
3 Mathematical Problems in Engineering
3 Optimization Methods & Software
3 Mathematical Methods of Operations Research
3 Journal of Combinatorial Optimization
3 CEJOR. Central European Journal of Operations Research
3 JMMA. Journal of Mathematical Modelling and Algorithms
3 Computational Management Science
3 Mathematical Programming Computation
3 EURO Journal on Computational Optimization
2 Computers & Mathematics with Applications
2 Journal of Computer and System Sciences
2 Science of Computer Programming
2 International Journal of Production Research
2 Algorithmica
2 Mathematical and Computer Modelling
2 Formal Aspects of Computing
2 Numerical Algorithms
2 Applied Mathematical Modelling
2 Automation and Remote Control
2 Formal Methods in System Design
2 International Journal of Applied Mathematics and Computer Science
2 Fundamenta Informaticae
2 Journal of Systems Science and Complexity
2 Computer Languages, Systems & Structures
2 Journal of Industrial and Management Optimization
2 Mathematics in Computer Science
2 Optimization Letters
2 Games
2 SN Operations Research Forum
1 Acta Informatica
1 Indian Journal of Pure & Applied Mathematics
1 Journal of Mathematical Biology
1 Mathematical Methods in the Applied Sciences
1 Mathematics of Computation
1 Chaos, Solitons and Fractals
1 Computing
1 Information Sciences
1 Networks
1 Numerische Mathematik
1 Opsearch
1 Software. Practice & Experience
1 OR Spektrum
1 Applied Numerical Mathematics
1 Acta Mathematicae Applicatae Sinica. English Series
1 Journal of Computer Science and Technology
1 Journal of Automated Reasoning
1 International Journal of Approximate Reasoning
1 Journal of Economic Dynamics & Control
1 Real-Time Systems
1 International Journal of Foundations of Computer Science
1 Applied Intelligence
1 Pattern Recognition
1 RAIRO. Informatique Théorique et Applications
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 Computational Economics
1 Journal of Computer and Systems Sciences International
1 Economic Theory
1 Journal of Functional Programming
1 The Journal of Artificial Intelligence Research (JAIR)
1 Theory of Computing Systems
1 Soft Computing
1 Discrete Dynamics in Nature and Society
1 New Journal of Physics
...and 10 more Serials

Citations by Year