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

101

A column-generation approach for joint mobilization and evacuation planning

Pillac, Victor, Cebrian, Manuel, Van Hentenryck, Pascal

Journal:

Year:

2015

Language:

english

File:

PDF, 747 KB

english, 2015

102

[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

103

[IEEE 2014 Power Systems Computation Conference (PSCC) - Wrocław, Poland (2014.8.18-2014.8.22)] 2014 Power Systems Computation Conference - Primal and dual bounds for Optimal Transmission Switching

Coffrin, Carleton, Hijazi, Hassan L., Lehmann, Karsten, Van Hentenryck, Pascal

Year:

2014

Language:

english

File:

PDF, 302 KB

english, 2014

104

[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

105

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

106

AC-Feasibility on Tree Networks is NP-Hard

Lehmann, Karsten, Grastien, Alban, Van Hentenryck, Pascal

Journal:

IEEE Transactions on Power Systems

Year:

2015

Language:

english

File:

PDF, 687 KB

english, 2015

107

[IEEE 2014 Power Systems Computation Conference (PSCC) - Wrocław, Poland (2014.8.18-2014.8.22)] 2014 Power Systems Computation Conference - Power system restoration planning with standing phase angle and voltage difference constraints

Mak, Terrence W.K., Coffrin, Carleton, Van Hentenryck, Pascal, Hiskens, Ian A., Hill, David

Year:

2014

Language:

english

File:

PDF, 1.00 MB

english, 2014

108

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - LS(graph & tree)

Dung, Pham Quang, Deville, Yves, Van Hentenryck, Pascal

Year:

2009

Language:

english

File:

PDF, 465 KB

english, 2009

109

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Length-lex bound consistency for knapsack constraints

Yip, Justin, Van Hentenryck, Pascal

Year:

2009

Language:

english

File:

PDF, 366 KB

english, 2009

110

A Multistage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time Windows

Mouthuy, Sébastien, Massen, Florence, Deville, Yves, Van Hentenryck, Pascal

Journal:

Transportation Science

Year:

2015

Language:

english

File:

PDF, 354 KB

english, 2015

111

Strategic directions in constraint programming

Van Hentenryck, Pascal, Saraswat, Vijay

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 393 KB

english, 1996

112

[IEEE 2014 Power Systems Computation Conference (PSCC) - Wrocław, Poland (2014.8.18-2014.8.22)] 2014 Power Systems Computation Conference - Transmission Network Expansion Planning: Bridging the gap between AC heuristics and DC approximations

Bent, Russell, Coffrin, Carleton, Gumucio, Rodrigo R. E., Van Hentenryck, Pascal

Year:

2014

Language:

english

File:

PDF, 382 KB

english, 2014

113

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

Micha Janssen, Pascal Van Hentenryck and Yves Deville

Journal:

SIAM Journal on Numerical Analysis

Year:

2003

Language:

english

File:

PDF, 1.44 MB

english, 2003

114

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

115

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Can abstract interpretation become a mainstream compiler technology?

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 53 KB

english, 1997

116

[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

117

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

118

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Data dependences as abstract interpretations

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 87 KB

english, 1997

119

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Abstract interpretation based static analysis parameterized by semantics

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 507 KB

english, 1997

120

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Attribute grammars and functional programming deforestation

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 73 KB

english, 1997

121

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Automatic termination analysis for partial functions using polynomial orderings

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1.13 MB

english, 1997

122

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || TEA: Automatically proving termination of programs in a non-strict higher-order functional language

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1.10 MB

english, 1997

123

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || On the desirable link between theory and practice in abstract interpretation (extended abstract)

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 715 KB

english, 1997

124

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Abstract interpretation: A theory of approximate computation

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 829 KB

english, 1997

125

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Semantic analyzer of modula-programs

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 232 KB

english, 1997

126

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Abstract interpretation for improving WAM code

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 88 KB

english, 1997

127

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Towards a cost-effective estimation of uncaught exceptions in SML programs

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 993 KB

english, 1997

128

[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

129

[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

130

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Program analysis using mixed term and set constraints

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1.02 MB

english, 1997

131

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Set-based analysis for logic programming and tree automata

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 935 KB

english, 1997

132

[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

133

[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

134

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Denotational abstract interpretation of functional logic programs

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1.13 MB

english, 1997

135

[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

136

Constraint logic programming

Van Hentenryck, Pascal

Journal:

The Knowledge Engineering Review

Year:

1991

Language:

english

File:

PDF, 2.61 MB

english, 1991

137

Sequence-based abstract interpretation of Prolog

LE CHARLIER, BAUDOUIN, ROSSI, SABINA, VAN HENTENRYCK, PASCAL

Journal:

Theory and Practice of Logic Programming

Year:

2002

Language:

english

File:

PDF, 558 KB

english, 2002

138

Assortment optimization under a multinomial logit model with position bias and social influence

Abeliuk, Andrés, Berbeglia, Gerardo, Cebrian, Manuel, Van Hentenryck, Pascal

Journal:

4OR: A Quarterly Journal of Operations Research

Year:

2016

Language:

english

File:

PDF, 478 KB

english, 2016

139

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

140

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Coalescing conditional branches into efficient indirect jumps

Van Hentenryck, Pascal

Year:

1997

Language:

english

File:

PDF, 1.17 MB

english, 1997

141

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

Russell W. Bent and Pascal Van Hentenryck

Journal:

Operations Research

Year:

2004

Language:

english

File:

PDF, 2.21 MB

english, 2004

142

New developments in metaheuristics and their applications

Lau, Hoong Chuin, Raidl, Günther R., Van Hentenryck, Pascal

Journal:

Journal of Heuristics

Year:

2016

Language:

english

File:

PDF, 346 KB

english, 2016

143

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

Russell Bent and Pascal Van Hentenryck

Journal:

Transportation Science

Year:

2004

Language:

english

File:

PDF, 2.26 MB

english, 2004

144

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

145

Convex Relaxations for Gas Expansion Planning

Borraz-Sánchez, Conrado, Bent, Russell, Backhaus, Scott, Hijazi, Hassan, Hentenryck, Pascal Van

Journal:

INFORMS Journal on Computing

Year:

2016

Language:

english

File:

PDF, 944 KB

english, 2016

146

Edge Finding for Cumulative Scheduling

Mercier, Luc, Van Hentenryck, Pascal

Journal:

INFORMS Journal on Computing

Year:

2008

Language:

english

File:

PDF, 231 KB

english, 2008

147

[IEEE 2016 Power Systems Computation Conference (PSCC) - Genoa, Italy (2016.6.20-2016.6.24)] 2016 Power Systems Computation Conference (PSCC) - Polynomial SDP cuts for Optimal Power Flow

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

Year:

2016

Language:

english

File:

PDF, 321 KB

english, 2016

148

Convex quadratic relaxations for mixed-integer nonlinear programs in power systems

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

Journal:

Mathematical Programming Computation

Year:

2016

Language:

english

File:

PDF, 969 KB

english, 2016

149

[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

150

[IEEE 2016 Power Systems Computation Conference (PSCC) - Genoa, Italy (2016.6.20-2016.6.24)] 2016 Power Systems Computation Conference (PSCC) - Optimal Resilient transmission Grid Design

Nagarajan, Harsha, Yamangil, Emre, Bent, Russell, Van Hentenryck, Pascal, Backhaus, Scott

Year:

2016

Language:

english

File:

PDF, 807 KB

english, 2016