Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319339535, 9783319339542

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Bit-Vector Solver with Word-Level Propagation

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33954-2_27 ◽

2016 ◽

pp. 374-391 ◽

Cited By ~ 5

Author(s):

Wenxi Wang ◽

Harald Søndergaard ◽

Peter J. Stuckey

Keyword(s):

Word Level ◽

Bit Vector

Download Full-text

Scheduling Home Hospice Care with Logic-Based Benders Decomposition

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33954-2_14 ◽

2016 ◽

pp. 187-197 ◽

Cited By ~ 6

Author(s):

Aliza Heching ◽

John N. Hooker

Keyword(s):

Benders Decomposition ◽

Hospice Care ◽

Home Hospice Care

Download Full-text

Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33954-2_9 ◽

2016 ◽

pp. 108-124 ◽

Cited By ~ 2

Author(s):

Cyrille Dejemeppe ◽

Olivier Devolder ◽

Victor Lecomte ◽

Pierre Schaus

Keyword(s):

Production Planning ◽

Energy Cost ◽

Planning Problem ◽

Cardinality Constraints ◽

Production Planning Problem

Download Full-text

Weighted Spanning Tree Constraint with Explanations

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33954-2_8 ◽

2016 ◽

pp. 98-107 ◽

Cited By ~ 2

Author(s):

Diego de Uña ◽

Graeme Gange ◽

Peter Schachte ◽

Peter J. Stuckey

Keyword(s):

Spanning Tree

Download Full-text

Revisiting Two-Sided Stability Constraints

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33954-2_25 ◽

2016 ◽

pp. 342-357 ◽

Cited By ~ 1

Author(s):

Mohamed Siala ◽

Barry O’Sullivan

Download Full-text

A New Solver for the Minimum Weighted Vertex Cover Problem

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33954-2_28 ◽

2016 ◽

pp. 392-405 ◽

Cited By ~ 5

Author(s):

Hong Xu ◽

T. K. Satish Kumar ◽

Sven Koenig

Keyword(s):

Vertex Cover ◽

Vertex Cover Problem ◽

Weighted Vertex ◽

Cover Problem

Download Full-text

Parallel Composition of Scheduling Solvers

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33954-2_12 ◽

2016 ◽

pp. 159-169 ◽

Cited By ~ 2

Author(s):

Daniel Fontaine ◽

Laurent Michel ◽

Pascal Van Hentenryck

Keyword(s):

Parallel Composition

Download Full-text

Lagrangian Decomposition via Sub-problem Search

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33954-2_6 ◽

2016 ◽

pp. 65-80 ◽

Cited By ~ 1

Author(s):

Geoffrey Chu ◽

Graeme Gange ◽

Peter J. Stuckey

Keyword(s):

Lagrangian Decomposition

Download Full-text

A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33954-2_19 ◽

2016 ◽

pp. 262-278 ◽

Cited By ~ 1

Author(s):

Thierry Martinez ◽

François Fages ◽

Abder Aggoun

Keyword(s):

Continuous Optimization

Download Full-text

Detecting Semantic Groups in MIP Models

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33954-2_24 ◽

2016 ◽

pp. 329-341 ◽

Cited By ~ 1

Author(s):

Domenico Salvagnin

Keyword(s):

Mip Models

Download Full-text

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Bit-Vector Solver with Word-Level Propagation

Scheduling Home Hospice Care with Logic-Based Benders Decomposition

Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing

Weighted Spanning Tree Constraint with Explanations

Revisiting Two-Sided Stability Constraints

A New Solver for the Minimum Weighted Vertex Cover Problem

Parallel Composition of Scheduling Solvers

Lagrangian Decomposition via Sub-problem Search

A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems

Detecting Semantic Groups in MIP Models

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science
Latest Publications