Hentenryck, Pascal Van: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Dynamic Compressor Optimization in Natural Gas Pipeline Systems

Mak, Terrence W. K., Hentenryck, Pascal Van, Zlotnik, Anatoly, Bent, Russell

Journal:

INFORMS Journal on Computing

Year:

2019

Language:

english

File:

PDF, 1.17 MB

english, 2019

2

Solving large combinatorial problems in logic programming

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck

Journal:

The Journal of Logic Programming

Year:

1990

Language:

english

File:

PDF, 1.22 MB

english, 1990

3

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 3819 || Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs

Van Hentenryck, Pascal

Year:

2006

Language:

english

File:

PDF, 255 KB

english, 2006

4

Constraint satisfaction using constraint logic programming

Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 2.22 MB

english, 1992

5

Design, implementation, and evaluation of the constraint language cc(FD)

Pascal Van Hentenryck, Vijay Saraswat, Yves Deville

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 200 KB

english, 1998

6

[American Society of Civil Engineers First International Symposium on Uncertainty Modeling and Analysis and Management (ICVRAM 2011); and Fifth International Symposium on Uncertainty Modeling and Anaylsis (ISUMA) - Hyattsville, Maryland, United States (April 11-13, 2011)] Vulnerability, Uncertainty, and Risk - Strategic Planning for Power System Restoration

Coffrin, Carleton, Van Hentenryck, Pascal, Bent, Russell

Year:

2011

Language:

english

File:

PDF, 256 KB

english, 2011

7

Experimental evaluation of a generic abstract interpretation algorithm for PROLOG

Le Charlier, Baudouin, Van Hentenryck, Pascal

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 3.98 MB

english, 1994

8

A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows

Russell Bent, Pascal Van Hentenryck

Journal:

Computers & Operations Research

Year:

2006

Language:

english

File:

PDF, 269 KB

english, 2006

9

Standard forms for rational linear arithmetic in constraint logic programming

Pascal Van Hentenryck, Thomas Graf

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 879 KB

english, 1992

10

Online stochastic reservation systems

Pascal Van Hentenryck, Russell Bent, Luc Mercier, Yannis Vergados

Journal:

Annals of Operations Research

Year:

2009

Language:

english

File:

PDF, 1.12 MB

english, 2009

11

Introduction to the Special Issue on Principles and Practice of Constraint Programming

Pascal Van Hentenryck

Journal:

Year:

2005

Language:

english

File:

PDF, 22 KB

english, 2005

12

Type analysis of prolog using type graphs

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 1.69 MB

english, 1995

13

Constraint Programming: Strategic Directions

Pascal Van Hentenryck, Vijay Saraswat

Journal:

Year:

1997

Language:

english

File:

PDF, 235 KB

english, 1997

14

Constraint Programming for Combinatorial Search Problems

Pascal Van Hentenryck

Journal:

Year:

1997

Language:

english

File:

PDF, 74 KB

english, 1997

15

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 4510 || Connections in Networks: Hardness of Feasibility Versus Optimality

Van Hentenryck, Pascal, Wolsey, Laurence

Year:

2007

Language:

english

File:

PDF, 452 KB

english, 2007

16

Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers

Bent, Russell W., Van Hentenryck, Pascal

Journal:

Operations Research

Year:

2004

Language:

english

File:

PDF, 265 KB

english, 2004

17

Constraint and Integer Programming in OPL

Hentenryck, Pascal Van

Journal:

INFORMS Journal on Computing

Year:

2002

Language:

english

File:

PDF, 435 KB

english, 2002

18

Prediction and behavioral analysis of travel mode choice: A comparison of machine learning and logit models

Zhao, Xilei, Yan, Xiang, Yu, Alan, Van Hentenryck, Pascal

Journal:

Travel Behaviour and Society

Year:

2020

Language:

english

File:

PDF, 988 KB

english, 2020

19

A generic arc-consistency algorithm and its specializations

Pascal Van Hentenryck, Yves Deville, Choh-Man Teng

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 1.34 MB

english, 1992

20

Constraint satisfaction over connected row-convex constraints

Yves Deville, Olivier Barette, Pascal Van Hentenryck

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 431 KB

english, 1999

21

Constraint programming over nonlinear constraints

Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 1.93 MB

english, 1998

22

Combinations of abstract domains for logic programming: open product and generic pattern construction

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 357 KB

english, 2000

23

In Memoriam: Paris C. Kanellakis

Pascal Van Hentenryck

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 184 KB

english, 1996

24

Safe and tight linear estimators for global optimization

Glencora Borradaile, Pascal Van Hentenryck

Journal:

Mathematical Programming

Year:

2005

Language:

english

File:

PDF, 331 KB

english, 2005

25

CPBPV: a constraint-programming framework for bounded program verification

Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck

Journal:

Year:

2010

Language:

english

File:

PDF, 984 KB

english, 2010

26

Extended unification algorithms for the integration of functional programming into logic programming

Mehmet Dincbas, Pascal Van Hentenryck

Journal:

The Journal of Logic Programming

Year:

1987

Language:

english

File:

PDF, 1.85 MB

english, 1987

27

Evaluation of the domain prop

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 2.26 MB

english, 1995

28

Guest editor's introduction

Pascal Van Hentenryck

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 216 KB

english, 1993

29

A gentle introduction to Numerica

Pascal Van Hentenryck

Journal:

Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 1.58 MB

english, 1998

30

Consistency Techniques in Ordinary Differential Equations

Yves Deville, Micha Janssen, Pascal Van Hentenryck

Journal:

Year:

2002

Language:

english

File:

PDF, 503 KB

english, 2002

31

Incremental search in Constraint Logic Programming

Pascal Van Hentenryck, Thierry Le Provost

Journal:

New Generation Computing

Year:

1991

Language:

english

File:

PDF, 966 KB

english, 1991

32

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Robust and Parallel Solving of a Network Design Problem

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 189 KB

english, 2002

33

A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations

Janssen, Micha, Van Hentenryck, Pascal, Deville, Yves

Journal:

SIAM Journal on Numerical Analysis

Year:

2002

Language:

english

File:

PDF, 516 KB

english, 2002

34

A Two-Stage Hybrid Local Search for the Vehicle Routing Problem with Time Windows

Bent, Russell, Van Hentenryck, Pascal

Journal:

Transportation Science

Year:

2004

Language:

english

File:

PDF, 302 KB

english, 2004

35

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 4510 || A Column Generation Based Destructive Lower Bound for Resource Constrained Project Scheduling Problems

Van Hentenryck, Pascal, Wolsey, Laurence

Year:

2007

Language:

english

File:

PDF, 447 KB

english, 2007

36

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || A Dual Graph Translation of a Problem in ‘Life’

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 215 KB

english, 2002

37

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 4510 || The “Not-Too-Heavy Spanning Tree” Constraint

Van Hentenryck, Pascal, Wolsey, Laurence

Year:

2007

Language:

english

File:

PDF, 441 KB

english, 2007

38

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 ||

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 10.11 MB

english, 2002

39

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 44 KB

english, 2002

40

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 4510 ||

Van Hentenryck, Pascal, Wolsey, Laurence

Year:

2007

Language:

english

File:

PDF, 8.09 MB

english, 2007

41

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Constraint Programming Contribution to Benders Decomposition: A Case Study

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 1.20 MB

english, 2002

42

[Springer Optimization and Its Applications] Hybrid Optimization Volume 45 || Constraint Programming and Local Search Hybrids

van Hentenryck, Pascal, Milano, Michela

Year:

2011

Language:

english

File:

PDF, 467 KB

english, 2011

43

Search and strategies in OPL

Van Hentenryck, Pascal, Perron, Laurent, Puget, Jean-François

Journal:

ACM Transactions on Computational Logic

Year:

2000

Language:

english

File:

PDF, 166 KB

english, 2000

44

A constraint approach to mastermind in logic programming

van Hentenryck, Pascal

Journal:

ACM SIGART Bulletin

Year:

1988

Language:

english

File:

PDF, 490 KB

english, 1988

45

A Linear-Programming Approximation of AC Power Flows

Coffrin, Carleton, Van Hentenryck, Pascal

Journal:

INFORMS Journal on Computing

Year:

2014

Language:

english

File:

PDF, 442 KB

english, 2014

46

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Opportunistic Specialization in Russian Doll Search

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 238 KB

english, 2002

47

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Heuristic Constraint Propagation

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 120 KB

english, 2002

48

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Using Constraint Propagation to Accelerate Column Generation in Aircraft Scheduling

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 44 KB

english, 2002

49

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 276 KB

english, 2002

50

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Symmetry Breaking Revisited

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 214 KB

english, 2002