Lecture Notes in Computer Science - Principles and Practice of Constraint Programming
Latest Publications

TOTAL DOCUMENTS

71

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer International Publishing

9783319104270, 9783319104287

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Balance Constraint Family

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_15 ◽

2014 ◽

pp. 174-189 ◽

Author(s):

Christian Bessiere ◽

Emmanuel Hebrard ◽

George Katsirelos ◽

Zeynep Kiziltan ◽

Émilie Picard-Cantin ◽

...

Download Full-text

The IntSat Method for Integer Linear Programming

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_42 ◽

2014 ◽

pp. 574-589 ◽

Author(s):

Robert Nieuwenhuis

Keyword(s):

Linear Programming ◽

Integer Linear Programming

Download Full-text

On Compiling CNF into Decision-DNNF

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_7 ◽

2014 ◽

pp. 42-57 ◽

Author(s):

Umut Oztok ◽

Adnan Darwiche

Download Full-text

Robustness and Stability in Constraint Programming under Dynamism and Uncertainty

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_68 ◽

2014 ◽

pp. 923-927 ◽

Author(s):

Laura Climent ◽

Richard J. Wallace ◽

Miguel A. Salido ◽

Federico Barber

Keyword(s):

Constraint Programming

Download Full-text

Reformulation Based MaxSAT Robustness

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_65 ◽

2014 ◽

pp. 908-912

Author(s):

Miquel Bofill ◽

Dídac Busquets ◽

Mateu Villaret

Download Full-text

Multivalued Decision Diagrams for Sequencing Problems

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_67 ◽

2014 ◽

pp. 918-922

Author(s):

Andre A. Ciré ◽

Willem-Jan van Hoeve

Keyword(s):

Decision Diagrams ◽

Sequencing Problems

Download Full-text

Stochastic MiniZinc

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_46 ◽

2014 ◽

pp. 636-645 ◽

Author(s):

Andrea Rendl ◽

Guido Tack ◽

Peter J. Stuckey

Download Full-text

Towards Practical Infinite Stream Constraint Programming: Applications and Implementation

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_34 ◽

2014 ◽

pp. 449-464 ◽

Author(s):

Jasper C. H. Lee ◽

Jimmy H. M. Lee

Keyword(s):

Constraint Programming

Download Full-text

CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_32 ◽

2014 ◽

pp. 424-439 ◽

Author(s):

Wen-Yang Ku ◽

Thiago Pinheiro ◽

J. Christopher Beck

Keyword(s):

Load Balancing ◽

Assignment Problem ◽

Patient Assignment

Download Full-text

Nested Constraint Programs

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_19 ◽

2014 ◽

pp. 240-255 ◽

Author(s):

Geoffrey Chu ◽

Peter J. Stuckey

Download Full-text