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

51

[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

52

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

53

[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

54

[ACM Press the 1993 ACM SIGPLAN symposium - Copenhagen, Denmark (1993.06.14-1993.06.16)] Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93 - Groundness analysis for Prolog

Le Charlier, Baudouin, van Hentenryck, Pascal

Year:

1993

Language:

english

File:

PDF, 1.04 MB

english, 1993

55

Constraint programming models for integrated container terminal operations

Kizilay, Damla, Hentenryck, Pascal Van, Eliiyi, Deniz T.

Journal:

European Journal of Operational Research

Year:

2020

File:

PDF, 1.04 MB

2020

56

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

57

Constraint programming

Van Hentenryck, Pascal

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 124 KB

english, 2000

58

[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

59

[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

60

[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

61

[IEEE 2016 American Control Conference (ACC) - Boston, MA, USA (2016.7.6-2016.7.8)] 2016 American Control Conference (ACC) - Efficient dynamic compressor optimization in natural gas transmission systems

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

Year:

2016

Language:

english

File:

PDF, 503 KB

english, 2016

62

In Memoriam: Paris C. Kanellakis

Pascal Van Hentenryck

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 184 KB

english, 1996

63

[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

64

[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

65

Transparent Parallelization of Constraint Programming

Michel, Laurent, See, Andrew, Van Hentenryck, Pascal

Journal:

INFORMS Journal on Computing

Year:

2009

Language:

english

File:

PDF, 210 KB

english, 2009

66

An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization

Luc Mercier, Pascal Van Hentenryck

Journal:

Annals of Operations Research

Year:

2011

Language:

english

File:

PDF, 2.92 MB

english, 2011

67

[ACM Press the 45th ACM technical symposium - Atlanta, Georgia, USA (2014.03.05-2014.03.08)] Proceedings of the 45th ACM technical symposium on Computer science education - SIGCSE '14 - Teaching creative problem solving in a MOOC

Van Hentenryck, Pascal, Coffrin, Carleton

Year:

2014

Language:

english

File:

PDF, 1.65 MB

english, 2014

68

Transmission system restoration with co-optimization of repairs, load pickups, and generation dispatch

Coffrin, Carleton, Van Hentenryck, Pascal

Journal:

International Journal of Electrical Power & Energy Systems

Year:

2015

Language:

english

File:

PDF, 1.44 MB

english, 2015

69

A branch-and-price-and-check model for the vehicle routing problem with location congestion

Lam, Edward, Hentenryck, Pascal Van

Journal:

Year:

2016

Language:

english

File:

PDF, 1.27 MB

english, 2016

70

Strengthening the SDP Relaxation of AC Power Flows with Convex Envelopes, Bound Tightening, and Valid Inequalities

Coffrin, Carleton, Hijazi, Hassan, Van Hentenryck, Pascal

Journal:

IEEE Transactions on Power Systems

Year:

2016

Language:

english

File:

PDF, 843 KB

english, 2016

71

The Commute Trip-Sharing Problem

Hasan, Mohd. Hafiz, Van Hentenryck, Pascal, Legrain, Antoine

Journal:

Transportation Science

Year:

2020

File:

PDF, 2.41 MB

2020

72

Reexecution in abstract interpretation of Prolog

Baudouin Le Charlier, Pascal Van Hentenryck

Journal:

Acta Informatica

Year:

1995

Language:

english

File:

PDF, 2.53 MB

english, 1995

73

[IEEE 2016 49th Hawaii International Conference on System Sciences (HICSS) - Koloa, HI, USA (2016.1.5-2016.1.8)] 2016 49th Hawaii International Conference on System Sciences (HICSS) - Convex Optimization for Joint Expansion Planning of Natural Gas and Power Systems

Sanchez, Conrado Borraz, Bent, Russell, Backhaus, Scott, Blumsack, Seth, Hijazi, Hassan, Hentenryck, Pascal van

Year:

2016

Language:

english

File:

PDF, 611 KB

english, 2016

74

[IEEE 2016 Power Systems Computation Conference (PSCC) - Genoa, Italy (2016.6.20-2016.6.24)] 2016 Power Systems Computation Conference (PSCC) - Network flow and copper plate relaxations for AC transmission systems

Coffrin, Carleton, Hijazi, Hassan, Van Hentenryck, Pascal

Year:

2016

Language:

english

File:

PDF, 1.01 MB

english, 2016

75

Popularity Signals in Trial-Offer Markets with Social Influence and Position Bias

Maldonado, Felipe, Hentenryck, Pascal Van, Berbeglia, Gerardo, Berbeglia, Franco

Journal:

European Journal of Operational Research

Year:

2017

Language:

english

File:

PDF, 1.62 MB

english, 2017

76

Localizer

Laurent Michel, Pascal Van Hentenryck

Journal:

Year:

2000

Language:

english

File:

PDF, 401 KB

english, 2000

77

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || On sparse evaluation representations

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1.00 MB

english, 1997

78

Backtracking without trailing in CLP (R Lin )

Van Hentenryck, Pascal, Ramachandran, Viswanath

Journal:

ACM SIGPLAN Notices

Year:

1994

Language:

english

File:

PDF, 1.18 MB

english, 1994

79

Online stochastic optimization under time constraints

Pascal Van Hentenryck, Russell Bent, Eli Upfal

Journal:

Annals of Operations Research

Year:

2010

Language:

english

File:

PDF, 776 KB

english, 2010

80

Local Search-based Hybrid Algorithms for Finding Golomb Rulers

Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck

Journal:

Year:

2007

Language:

english

File:

PDF, 655 KB

english, 2007

81

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Range-Based Algorithm for Max-CSP

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 254 KB

english, 2002

82

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || The power of QDDs (extended abstract)

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

83

[Springer Optimization and Its Applications] Hybrid Optimization Volume 45 || Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology

van Hentenryck, Pascal, Milano, Michela

Year:

2011

Language:

english

File:

PDF, 399 KB

english, 2011

84

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || The effects of the precision of pointer analysis

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1.50 MB

english, 1997

85

Localizer: A Modeling Language for Local Search

Michel, Laurent, Van Hentenryck, Pascal

Journal:

INFORMS Journal on Computing

Year:

1999

Language:

english

File:

PDF, 253 KB

english, 1999

86

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Termination analysis for Mercury

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1.27 MB

english, 1997

87

A conflict-based path-generation heuristic for evacuation planning

Pillac, Victor, Van Hentenryck, Pascal, Even, Caroline

Journal:

Transportation Research Part B: Methodological

Year:

2016

Language:

english

File:

PDF, 2.32 MB

english, 2016

88

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Set-sharing is redundant for pair-sharing

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 943 KB

english, 1997

89

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Practical compile-time analysis

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 507 KB

english, 1997

90

Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check

Lam, Edward, Gange, Graeme, Stuckey, Peter J., Van Hentenryck, Pascal, Dekker, Jip J.

Journal:

SN Operations Research Forum

Year:

2020

File:

PDF, 1.99 MB

2020

91

A Constraint Satisfaction Approach to a Circuit Design Problem

Jean-François Puget, Pascal van Hentenryck

Journal:

Journal of Global Optimization

Year:

1998

Language:

english

File:

PDF, 194 KB

english, 1998

92

LS(Graph): a constraint-based local search for constraint optimization on trees and paths

Quang Dung Pham, Yves Deville, Pascal Van Hentenryck

Journal:

Year:

2012

Language:

english

File:

PDF, 3.67 MB

english, 2012

93

[ACM Press the Paris C. Kanellakis memorial workshop - San Diego, California, USA (2003.06.08-2003.06.08)] Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday - PCK50 - Comet in context

Michel, Laurent, Hentenryck, Pascal Van

Year:

2003

Language:

english

File:

PDF, 269 KB

english, 2003

94

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || An algebraic approach to sharing analysis of logic programs

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1.04 MB

english, 1997

95

[ACM Press the 26th International Conference - Perth, Australia (2017.04.03-2017.04.07)] Proceedings of the 26th International Conference on World Wide Web - WWW '17 - Taming the Unpredictability of Cultural Markets with Social Influence

Abeliuk, Andrés, Berbeglia, Gerardo, Van Hentenryck, Pascal, Hogg, Tad, Lerman, Kristina

Year:

2017

Language:

english

File:

PDF, 2.53 MB

english, 2017

96

Parallel and distributed local search in COMET

Laurent Michel, Andrew See, Pascal Van Hentenryck

Journal:

Computers & Operations Research

Year:

2009

Language:

english

File:

PDF, 513 KB

english, 2009

97

A simple and deterministic competitive algorithm for online facility location

Aris Anagnostopoulos, Russell Bent, Eli Upfal, Pascal Van Hentenryck

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 491 KB

english, 2004

98

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Logical optimality of groundness analysis

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1002 KB

english, 1997

99

[IEEE 2017 American Control Conference (ACC) - Seattle, WA, USA (2017.5.24-2017.5.26)] 2017 American Control Conference (ACC) - A nonlinear optimization model for transient stable line switching

Mak, Terrence W.K., Van Hentenryck, Pascal, Hiskens, Ian A.

Year:

2017

Language:

english

File:

PDF, 923 KB

english, 2017

100

Unit Commitment with Gas Network Awareness

Byeon, Geunyeong, Van Hentenryck, Pascal

Journal:

IEEE Transactions on Power Systems

Year:

2019

Language:

english

File:

PDF, 1.72 MB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски