The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pascal Van Hentenryck: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier
    The Constraint Logic Programming Language CHIP. [Citation Graph (6, 0)][DBLP]
    FGCS, 1988, pp:693-702 [Conf]
  2. Pascal Van Hentenryck, Mehmet Dincbas
    Domains in Logic Programming. [Citation Graph (1, 0)][DBLP]
    AAAI, 1986, pp:759-765 [Conf]
  3. Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
    Solving the Car-Sequencing Problem in Constraint Logic Programming. [Citation Graph (1, 0)][DBLP]
    ECAI, 1988, pp:290-295 [Conf]
  4. Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
    Solving a Cutting-Stock Problem in Constraint Logic Programming. [Citation Graph (1, 0)][DBLP]
    ICLP/SLP, 1988, pp:42-58 [Conf]
  5. Pascal Van Hentenryck
    Incremental Constraint Satisfaction in Logic Programming. [Citation Graph (1, 0)][DBLP]
    ICLP, 1990, pp:189-202 [Conf]
  6. Russell Bent, Pascal Van Hentenryck
    Regrets Only! Online Stochastic Optimization under Time Constraints. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:501-506 [Conf]
  7. Carmen Gervet, Pascal Van Hentenryck
    Length-Lex Ordering for Set CSPs. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  8. Pascal Van Hentenryck, Jean-Philippe Carillon
    Generality versus Specificity: An Experience with AI and OR Techniques. [Citation Graph (0, 0)][DBLP]
    AAAI, 1988, pp:660-664 [Conf]
  9. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
    An Abstract Interpretation Framework for (almost) Full Prolog. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:92-106 [Conf]
  10. Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
    Comsumption-based Distributed Unification. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:207-218 [Conf]
  11. Russell Bent, Pascal Van Hentenryck
    The Value of Consensus in Online Stochastic Scheduling. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:219-226 [Conf]
  12. Russell Bent, Pascal Van Hentenryck
    Online Stochastic Optimization Without Distributions. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2005, pp:171-180 [Conf]
  13. Pascal Van Hentenryck, Yannis Vergados
    Minimizing Breaks in Sport Scheduling with Local Search. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2005, pp:22-29 [Conf]
  14. Laurent Michel, Pascal Van Hentenryck
    Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:200-208 [Conf]
  15. Yves Deville, Pascal Van Hentenryck
    Construction of CLP Programs. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:112-135 [Conf]
  16. Russell Bent, Pascal Van Hentenryck
    Online Stochastic and Robust Optimization. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2004, pp:286-300 [Conf]
  17. Laurent Michel, Pascal Van Hentenryck
    Comet in Context. [Citation Graph (0, 0)][DBLP]
    PCK50, 2003, pp:95-107 [Conf]
  18. Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold
    The CHIP System: Constraint Handling In Prolog. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:774-775 [Conf]
  19. Pascal Van Hentenryck, Laurent Michel
    OPL Script: Composing and Controlling Models. [Citation Graph (0, 0)][DBLP]
    New Trends in Constraints, 1999, pp:75-90 [Conf]
  20. Russell Bent, Pascal Van Hentenryck
    A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:123-137 [Conf]
  21. Russell Bent, Irit Katriel, Pascal Van Hentenryck
    Sub-optimality Approximations. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:122-136 [Conf]
  22. Christian Bessière, Pascal Van Hentenryck
    To Be or Not to Be ... a Global Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:789-794 [Conf]
  23. Yves Deville, Micha Janssen, Pascal Van Hentenryck
    Consistency Techniques in Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:162-176 [Conf]
  24. Iván Dotú, Pascal Van Hentenryck
    A Note on Low Autocorrelation Binary Sequences. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:685-689 [Conf]
  25. Iván Dotú, Alvaro del Val, Pascal Van Hentenryck
    Scheduling Social Tournaments. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:845- [Conf]
  26. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck
    Static and Dynamic Structural Symmetry Breaking. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:695-699 [Conf]
  27. Pascal Van Hentenryck
    Constraint Solving for Combinatorial Search Problems: A Tutorial. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:564-587 [Conf]
  28. Pascal Van Hentenryck
    A Modeling Language for Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:1- [Conf]
  29. Pascal Van Hentenryck, Laurent Michel
    Control Abstractions for Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:65-80 [Conf]
  30. Pascal Van Hentenryck, Laurent Michel
    Differentiable Invariants. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:604-619 [Conf]
  31. Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
    Constraint-Based Combinators for Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:47-61 [Conf]
  32. Micha Janssen, Yves Deville, Pascal Van Hentenryck
    Multistep Filtering Operators for Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:246-260 [Conf]
  33. Micha Janssen, Pascal Van Hentenryck, Yves Deville
    Optimal Pruning in Parametric Differential Equations. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:539-553 [Conf]
  34. Irit Katriel, Pascal Van Hentenryck
    Maintaining Longest Paths in Cyclic Graphs. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:358-372 [Conf]
  35. Laurent Michel, Pascal Van Hentenryck
    Maintaining Longest Paths Incrementally. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:540-554 [Conf]
  36. Laurent Michel, Pascal Van Hentenryck
    Parallel Local Search in Comet. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:430-444 [Conf]
  37. Laurent Michel, Pascal Van Hentenryck
    The Comet Programming Language and System. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:881-881 [Conf]
  38. Laurent Michel, Pascal Van Hentenryck
    Localizer: A Modeling Language for Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:237-251 [Conf]
  39. Laurent Michel, Andrew See, Pascal Van Hentenryck
    Distributed Constraint-Based Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:344-358 [Conf]
  40. Laurent Michel, Andrew See, Pascal Van Hentenryck
    High-Level Nondeterministic Abstractions in. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:359-374 [Conf]
  41. Iván Dotú, Pascal Van Hentenryck
    Scheduling Social Golfers Locally. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2005, pp:155-167 [Conf]
  42. Pascal Van Hentenryck, Russell Bent, Yannis Vergados
    Online Stochastic Reservation Systems. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2006, pp:212-227 [Conf]
  43. Pascal Van Hentenryck, Laurent Michel
    Scheduling Abstractions for Local Search. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2004, pp:319-334 [Conf]
  44. Pascal Van Hentenryck, Laurent Michel
    Nondeterministic Control for Hybrid Search. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2005, pp:380-395 [Conf]
  45. Pascal Van Hentenryck, Yannis Vergados
    Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2006, pp:228-243 [Conf]
  46. Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie
    Combinatorial Optimization in OPL Studio. [Citation Graph (0, 0)][DBLP]
    EPIA, 1999, pp:1-15 [Conf]
  47. Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
    Improving Distributed Unification through Type Analysis. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1181-1190 [Conf]
  48. Viswanath Ramachandran, Pascal Van Hentenryck
    Incremental Algorithms for Constraint Solving and Entailment over Rational Trees. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1993, pp:205-217 [Conf]
  49. Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck
    Scheduling Social Golfers with Memetic Evolutionary Programming. [Citation Graph (0, 0)][DBLP]
    Hybrid Metaheuristics, 2006, pp:150-161 [Conf]
  50. Baudouin Le Charlier, Pascal Van Hentenryck
    Experimental evaluation of a generic abstract interpretation algorithm for Prolog. [Citation Graph (0, 0)][DBLP]
    ICCL, 1992, pp:137-146 [Conf]
  51. Baudouin Le Charlier, Pascal Van Hentenryck
    Reexecution in Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:750-764 [Conf]
  52. Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck
    A Generic Abstract Interpretation Algorithm and its Complexity Analysis. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:64-78 [Conf]
  53. Pascal Van Hentenryck
    Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:165-180 [Conf]
  54. Pascal Van Hentenryck, Mehmet Dincbas
    Forward Checking in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:229-256 [Conf]
  55. Pascal Van Hentenryck, Yves Deville
    The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:745-759 [Conf]
  56. Philippe Refalo, Pascal Van Hentenryck
    CLP(Rlin) Revised. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:22-36 [Conf]
  57. Pascal Van Hentenryck
    Constraint Programming Languages. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1993, pp:10- [Conf]
  58. Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf
    Applications of CHIP to Industrial and Engineering Problems. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (Vol. 2), 1988, pp:885-892 [Conf]
  59. Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados
    A Simulated Annealing Approach to the Travelling Tournament Problem. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1357-1358 [Conf]
  60. Russell Bent, Pascal Van Hentenryck
    Dynamic Vehicle Routing with Stochastic Requests. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1362-1363 [Conf]
  61. Yves Deville, Olivier Barette, Pascal Van Hentenryck
    Constraint Satisfaction over Connected Row Convex Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:405-411 [Conf]
  62. Yves Deville, Pascal Van Hentenryck
    An Efficient Arc Consistency Algorithm for a Class of CSP Problems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:325-330 [Conf]
  63. Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer
    Simulation of Hybrid Circuits in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:72-77 [Conf]
  64. Pascal Van Hentenryck
    A Theoretical Framework for Consistency Techniques in Logic Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1987, pp:2-8 [Conf]
  65. Pascal Van Hentenryck
    Numerica: A Modeling Language for Global Optimization. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1997, pp:1642-1650 [Conf]
  66. Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
    Tractable Symmetry Breaking for CSPs with Interchangeable Values. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:277-284 [Conf]
  67. Micha Janssen, Pascal Van Hentenryck, Yves Deville
    A Constraint Satisfaction Approach to Parametric Differential Equations. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:297-302 [Conf]
  68. Meinolf Sellmann, Pascal Van Hentenryck
    Structural Symmetry Breaking. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:298-303 [Conf]
  69. Luc Mercier, Pascal Van Hentenryck
    Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1979-1984 [Conf]
  70. Russell Bent, Pascal Van Hentenryck
    Waiting and Relocation Strategies in Online Stochastic Vehicle Routing. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1816-1821 [Conf]
  71. Baudouin Le Charlier, Pascal Van Hentenryck
    A generic fixpoint semantics for PROLOG and its application for abstract interpretation. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:113-125 [Conf]
  72. Mehmet Dincbas, Pascal Van Hentenryck
    Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:203-232 [Conf]
  73. Pascal Van Hentenryck
    Du filtrage optimal à la stabilité parfaite. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:11-0 [Conf]
  74. Pascal Van Hentenryck
    Localizer: A Modeling Language for Local Search. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:143-144 [Conf]
  75. Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck
    Parameterized Interfaces for Open System Verification of Product Lines. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:258-267 [Conf]
  76. Laurent Michel, Pascal Van Hentenryck
    A constraint-based architecture for local search. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:83-100 [Conf]
  77. Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
    Semantic Foundations of Binding Time Analysis for Imperative Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:100-110 [Conf]
  78. Baudouin Le Charlier, Pascal Van Hentenryck
    Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:99-110 [Conf]
  79. Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
    Type Analysis of Prolog Using Type Graphs. [Citation Graph (0, 0)][DBLP]
    PLDI, 1994, pp:337-348 [Conf]
  80. Pascal Van Hentenryck, Viswanath Ramachandran
    Backtracking without Trailing in CLP(RLin). [Citation Graph (0, 0)][DBLP]
    PLDI, 1994, pp:349-360 [Conf]
  81. Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck
    Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:310-325 [Conf]
  82. Pascal Van Hentenryck, Yves Deville
    Operational Semantics of Constraint Logic Programming over Finite Domains. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:395-406 [Conf]
  83. Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
    Combinations of Abstract Domains for Logic Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:227-239 [Conf]
  84. Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin
    Constraint Programming in OPL. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:98-116 [Conf]
  85. Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck
    A Memetic Approach to Golomb Rulers. [Citation Graph (0, 0)][DBLP]
    PPSN, 2006, pp:252-261 [Conf]
  86. Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
    Compositional Derivation of Symmetries for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    SARA, 2005, pp:234-247 [Conf]
  87. 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. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:15-26 [Conf]
  88. Baudouin Le Charlier, Pascal Van Hentenryck
    On the Design of Generic Abstract Interpretation Frameworks. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:229-246 [Conf]
  89. Jean-Louis Imbert, Pascal Van Hentenryck
    A propos des redondances dans les systèmes d'inéquations linéaires. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:210-216 [Conf]
  90. Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel
    The Impact of Granularity in Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:1-14 [Conf]
  91. Viswanath Ramachandran, Pascal Van Hentenryck
    LSign Reordered [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:330-347 [Conf]
  92. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
    An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:157-171 [Conf]
  93. Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck
    CLP(Intervals) Revisited. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:124-138 [Conf]
  94. C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck
    Cardinality Analysis of Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:457-471 [Conf]
  95. Pascal Van Hentenryck
    Constraint Logic Programming: From Theory to Applications. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:841- [Conf]
  96. Ionut D. Aron, Pascal Van Hentenryck
    A Constraint Satisfaction Approach to the Robust Spanning Tree Problem with Interval Data. [Citation Graph (0, 0)][DBLP]
    UAI, 2002, pp:18-25 [Conf]
  97. Pascal Van Hentenryck, Yves Deville
    The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:283-403 [Conf]
  98. Jean-Louis Imbert, Pascal Van Hentenryck
    On the Handling of Disequations in CLP over Linear Rational Arithmetic. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:49-71 [Conf]
  99. Baudouin Le Charlier, Pascal Van Hentenryck
    Reexecution in Abstract Interpretation of Prolog [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:3, pp:209-270 [Journal]
  100. Yves Deville, Olivier Barette, Pascal Van Hentenryck
    Constraint Satisfaction over Connected Row Convex Constraints. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:109, n:1-2, pp:243-271 [Journal]
  101. Pascal Van Hentenryck
    A Gentle Introduction to NUMERICA. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:103, n:1-2, pp:209-235 [Journal]
  102. Pascal Van Hentenryck, Yves Deville, Choh-Man Teng
    A Generic Arc-Consistency Algorithm and its Specializations. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1992, v:57, n:2-3, pp:291-321 [Journal]
  103. Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas
    Constraint Satisfaction Using Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1992, v:58, n:1-3, pp:113-159 [Journal]
  104. Pascal Van Hentenryck, Thomas Graf
    Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1992, v:5, n:2-4, pp:303-319 [Journal]
  105. Jean-Louis Imbert, Pascal Van Hentenryck
    Redundancy Elimination with a Lexicographic Solved Form. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:17, n:1-2, pp:85-106 [Journal]
  106. Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
    Exploiting Type Analysis for Unification in a Distributed Environment. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 1999, v:18, n:5, pp:- [Journal]
  107. Pascal Van Hentenryck
    Introduction to the Special Issue on Principles and Practice of Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:1, pp:5-5 [Journal]
  108. Frédéric Benhamou, Pascal Van Hentenryck
    Introduction to the Special Issue on Interval Constraints. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:2, pp:107-112 [Journal]
  109. Pascal Van Hentenryck
    Constraint Programming for Combinatorial Search Problems. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:1, pp:99-101 [Journal]
  110. Pascal Van Hentenryck, Laurent Michel
    Control Abstractions for Local Search. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:2, pp:137-157 [Journal]
  111. Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
    Contraint-Based Combinators for Local Search. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:4, pp:363-384 [Journal]
  112. Pascal Van Hentenryck, Vijay A. Saraswat
    Constraint Programming: Strategic Directions. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:1, pp:7-33 [Journal]
  113. Pascal Van Hentenryck, Laurent Michel
    Nondeterministic Control for Hybrid Search. [Citation Graph (0, 0)][DBLP]
    Constraints, 2006, v:11, n:4, pp:353-373 [Journal]
  114. Irit Katriel, Laurent Michel, Pascal Van Hentenryck
    Maintaining Longest Paths Incrementally. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:2, pp:159-183 [Journal]
  115. Isabel F. Cruz, Kim Marriott, Pascal Van Hentenryck
    Introduction to the Special Issue. [Citation Graph (0, 0)][DBLP]
    Constraints, 1998, v:3, n:1, pp:5-7 [Journal]
  116. Yves Deville, Micha Janssen, Pascal Van Hentenryck
    Consistency Techniques in Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP]
    Constraints, 2002, v:7, n:3-4, pp:289-315 [Journal]
  117. Laurent Michel, Pascal Van Hentenryck
    Localizer. [Citation Graph (0, 0)][DBLP]
    Constraints, 2000, v:5, n:1/2, pp:43-84 [Journal]
  118. Vijay A. Saraswat, Pascal Van Hentenryck
    Introduction to the Special Issue. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:1, pp:5-6 [Journal]
  119. Russell Bent, Pascal Van Hentenryck
    A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 2006, v:33, n:, pp:875-893 [Journal]
  120. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
    Sequence-Based Abstract Interpretation of Prolog [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  121. Pascal Van Hentenryck
    Constraint Programming for Combinatorial Search Problems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:76- [Journal]
  122. Pascal Van Hentenryck, Vijay A. Saraswat
    Strategic Directions in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4, pp:701-726 [Journal]
  123. Aris Anagnostopoulos, Russell Bent, Eli Upfal, Pascal Van Hentenryck
    A simple and deterministic competitive algorithm for online facility location. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:194, n:2, pp:175-202 [Journal]
  124. Pascal Van Hentenryck
    Constraint and Integer Programming in OPL. [Citation Graph (0, 0)][DBLP]
    INFORMS Journal on Computing, 2002, v:14, n:4, pp:345-372 [Journal]
  125. Laurent Michel, Pascal Van Hentenryck
    A Modeling Layer for Constraint-Programming Libraries. [Citation Graph (0, 0)][DBLP]
    INFORMS Journal on Computing, 2005, v:17, n:4, pp:389-401 [Journal]
  126. Mehmet Dincbas, Pascal Van Hentenryck
    Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1987, v:4, n:3, pp:199-227 [Journal]
  127. Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
    Solving Large Combinatorial Problems in Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1990, v:8, n:1, pp:75-93 [Journal]
  128. Pascal Van Hentenryck
    In Memoriam: Paris C. Kanellakis. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:1, pp:1-3 [Journal]
  129. Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
    Type Analysis of Prolog Using Type Graphs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:22, n:3, pp:179-209 [Journal]
  130. Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
    Evaluation of the Domain Prop. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:23, n:3, pp:237-278 [Journal]
  131. Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
    Design, Implementation, and Evaluation of the Constraint Language cc(FD). [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:37, n:1-3, pp:139-164 [Journal]
  132. Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi
    Abstract Domains for Reordering CLP(RLin) Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:42, n:3, pp:217-256 [Journal]
  133. Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
    Design, Implementation, and Evaluation of the Constraint Language cc(FD) [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:293-316 [Journal]
  134. Glencora Borradaile, Pascal Van Hentenryck
    Safe and tight linear estimators for global optimization. [Citation Graph (0, 0)][DBLP]
    Math. Program., 2005, v:102, n:3, pp:495-517 [Journal]
  135. Pascal Van Hentenryck, Thierry Le Provost
    Incremental Search in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1991, v:9, n:3/4, pp:257-276 [Journal]
  136. Ionut D. Aron, Pascal Van Hentenryck
    On the complexity of the robust spanning tree problem with interval data. [Citation Graph (0, 0)][DBLP]
    Oper. Res. Lett., 2004, v:32, n:1, pp:36-40 [Journal]
  137. Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados
    A simulated annealing approach to the traveling tournament problem. [Citation Graph (0, 0)][DBLP]
    J. Scheduling, 2006, v:9, n:2, pp:177-193 [Journal]
  138. Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
    Combinations of abstract domains for logic programming: open product and generic pattern construction. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:38, n:1-3, pp:27-71 [Journal]
  139. Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou
    Newton - Constraint Programming over Nonlinear Constraints. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:1-2, pp:83-118 [Journal]
  140. Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck
    Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1993, v:23, n:4, pp:419-459 [Journal]
  141. Pascal Van Hentenryck
    Editorial - SAS'97. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:277, n:1-2, pp:1-2 [Journal]
  142. Laurent Michel, Pascal Van Hentenryck
    Helios: A Modeling Language for Global Optimization and its Implementation in Newton. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:1, pp:3-48 [Journal]
  143. Laurent Michel, Pascal Van Hentenryck
    A decomposition-based implementation of search strategies. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:2, pp:351-383 [Journal]
  144. Pascal Van Hentenryck, Laurent Perron, Jean-Francois Puget
    Search and strategies in OPL. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2000, v:1, n:2, pp:285-320 [Journal]
  145. Baudouin Le Charlier, Pascal Van Hentenryck
    Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:1, pp:35-101 [Journal]
  146. Pascal Van Hentenryck, Viswanath Ramachandran
    Backtracking without Trailing in CLP(R-lin) [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:4, pp:635-671 [Journal]
  147. Frédéric Benhamou, Pascal Van Hentenryck
    In honor of Alain Colmerauer's 60th birthday. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:6, pp:633-635 [Journal]
  148. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
    Sequence-based abstract interpretation of Prolog. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:1, pp:25-84 [Journal]
  149. Laurent Michel, Pascal Van Hentenryck
    A simple tabu search for warehouse location. [Citation Graph (0, 0)][DBLP]
    European Journal of Operational Research, 2004, v:157, n:3, pp:576-591 [Journal]
  150. Pascal Van Hentenryck, Yannis Vergados
    Population-Based Simulated Annealing for Traveling Tournaments. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:267-271 [Conf]
  151. Pascal Van Hentenryck, Laurent D. Michel
    Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:273-0 [Conf]
  152. Russell Bent, Pascal Van Hentenryck
    Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:173-178 [Conf]
  153. Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck
    Propagating Knapsack Constraints in Sublinear Time. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:231-236 [Conf]
  154. Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel
    Model-Driven Visualizations of Constraint-Based Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:271-285 [Conf]
  155. Laurent Michel, Andrew See, Pascal Van Hentenryck
    Parallelizing Constraint Programs Transparently. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:514-528 [Conf]
  156. Iván Dotú, Pascal Van Hentenryck
    A simple hybrid evolutionary algorithm for finding Golomb rulers. [Citation Graph (0, 0)][DBLP]
    Congress on Evolutionary Computation, 2005, pp:2018-2023 [Conf]
  157. Iván Dotú, Pascal Van Hentenryck
    Scheduling social tournaments locally. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2007, v:20, n:3, pp:151-162 [Journal]
  158. Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck
    Local Search-based Hybrid Algorithms for Finding Golomb Rulers. [Citation Graph (0, 0)][DBLP]
    Constraints, 2007, v:12, n:3, pp:263-291 [Journal]

  159. Bound Consistency for Binary Length-Lex Set Constraints. [Citation Graph (, )][DBLP]


  160. Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. [Citation Graph (, )][DBLP]


  161. Just-In-Time Scheduling with Constraint Programming. [Citation Graph (, )][DBLP]


  162. CPBPV: A Constraint-Programming Framework for Bounded Program Verification. [Citation Graph (, )][DBLP]


  163. Protein Structure Prediction with Large Neighborhood Constraint Programming Search. [Citation Graph (, )][DBLP]


  164. Evaluation of Length-Lex Set Variables. [Citation Graph (, )][DBLP]


  165. Real-Time Tabu Search for Video Tracking Association. [Citation Graph (, )][DBLP]


  166. Online Selection of Quorum Systems for RAMBO Reconfiguration. [Citation Graph (, )][DBLP]


  167. Constraint-Based Local Search for the Automatic Generation of Architectural Tests. [Citation Graph (, )][DBLP]


  168. Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization. [Citation Graph (, )][DBLP]


  169. Optimal Deployment of Eventually-Serializable Data Services. [Citation Graph (, )][DBLP]


  170. The Steel Mill Slab Design Problem Revisited. [Citation Graph (, )][DBLP]


  171. Gap Reduction Techniques for Online Stochastic Project Scheduling. [Citation Graph (, )][DBLP]


  172. 30 Years of Constraint Programming. [Citation Graph (, )][DBLP]


  173. Scalable Load Balancing in Nurse to Patient Assignment Problems. [Citation Graph (, )][DBLP]


  174. Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. [Citation Graph (, )][DBLP]


  175. Revisiting the Soft Global Cardinality Constraint. [Citation Graph (, )][DBLP]


  176. Boosting Set Constraint Propagation for Network Design. [Citation Graph (, )][DBLP]


  177. Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution. [Citation Graph (, )][DBLP]


  178. Constraint-Based Local Search for Constrained Optimum Paths Problems. [Citation Graph (, )][DBLP]


  179. The Impact of Constraint Programming. [Citation Graph (, )][DBLP]


  180. Constraint Programming. [Citation Graph (, )][DBLP]


  181. Length-lex bound consistency for knapsack constraints. [Citation Graph (, )][DBLP]


  182. LS(graph & tree): a local search framework for constraint optimization on graphs and trees. [Citation Graph (, )][DBLP]


  183. Optimizing Network Deployment of Formally-Specified Distributed Systems. [Citation Graph (, )][DBLP]


  184. Dynamic structural symmetry breaking for constraint satisfaction problems. [Citation Graph (, )][DBLP]


  185. Model-driven visualizations of constraint-based local search. [Citation Graph (, )][DBLP]


  186. Parallel and distributed local search in COMET. [Citation Graph (, )][DBLP]


  187. CPBVP: A Constraint-Programming Framework for Bounded Program Verification [Citation Graph (, )][DBLP]


  188. Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification [Citation Graph (, )][DBLP]


  189. A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) [Citation Graph (, )][DBLP]


  190. Sonet Network Design Problems [Citation Graph (, )][DBLP]


Search in 2.073secs, Finished in 2.082secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002