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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030300470, 9783030300487

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics

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

10.1007/978-3-030-30048-7_8 ◽

2019 ◽

pp. 126-143

Author(s):

Md Solimul Chowdhury ◽

Martin Müller ◽

Jia-Huai You

Download Full-text

Lemma Synthesis for Automating Induction over Algebraic Data Types

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

10.1007/978-3-030-30048-7_35 ◽

2019 ◽

pp. 600-617 ◽

Cited By ~ 4

Author(s):

Weikun Yang ◽

Grigory Fedyukovich ◽

Aarti Gupta

Keyword(s):

Data Types ◽

Algebraic Data Types

Download Full-text

Encodings for Enumeration-Based Program Synthesis

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

10.1007/978-3-030-30048-7_34 ◽

2019 ◽

pp. 583-599 ◽

Cited By ~ 1

Author(s):

Pedro Orvalho ◽

Miguel Terra-Neves ◽

Miguel Ventura ◽

Ruben Martins ◽

Vasco Manquinho

Keyword(s):

Program Synthesis

Download Full-text

An Improved GPU-Based SAT Model Counter

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

10.1007/978-3-030-30048-7_29 ◽

2019 ◽

pp. 491-509 ◽

Cited By ~ 2

Author(s):

Johannes K. Fichte ◽

Markus Hecher ◽

Markus Zisser

Download Full-text

Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach

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

10.1007/978-3-030-30048-7_42 ◽

2019 ◽

pp. 729-747

Author(s):

Nadeem Al-Kurdi ◽

Benjamin Pillot ◽

Carmen Gervet ◽

Laurent Linguet

Keyword(s):

Renewable Energy ◽

Energy Planning ◽

Spatio Temporal

Download Full-text

Estimating the Number of Solutions of Cardinality Constraints Through $$\texttt {range}$$ and $$\texttt {roots}$$ Decompositions

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

10.1007/978-3-030-30048-7_19 ◽

2019 ◽

pp. 317-332

Author(s):

Giovanni Lo Bianco ◽

Xavier Lorca ◽

Charlotte Truchet

Keyword(s):

Cardinality Constraints ◽

Number Of Solutions

Download Full-text

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

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

10.1007/978-3-030-30048-7_2 ◽

2019 ◽

pp. 20-36 ◽

Cited By ~ 1

Author(s):

Carlos Ansótegui ◽

Miquel Bofill ◽

Jordi Coll ◽

Nguyen Dang ◽

Juan Luis Esteban ◽

...

Keyword(s):

Automatic Detection

Download Full-text

Constraint Programming-Based Job Dispatching for Modern HPC Applications

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

10.1007/978-3-030-30048-7_26 ◽

2019 ◽

pp. 438-455

Author(s):

Cristian Galleguillos ◽

Zeynep Kiziltan ◽

Alina Sîrbu ◽

Ozalp Babaoglu

Keyword(s):

Constraint Programming ◽

Job Dispatching

Download Full-text

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving

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

10.1007/978-3-030-30048-7_14 ◽

2019 ◽

pp. 232-250

Author(s):

Andreia P. Guerreiro ◽

Miguel Terra-Neves ◽

Inês Lynce ◽

José Rui Figueira ◽

Vasco Manquinho

Keyword(s):

Local Search ◽

Stochastic Local Search

Download Full-text

An Incremental SAT-Based Approach to the Graph Colouring Problem

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

10.1007/978-3-030-30048-7_13 ◽

2019 ◽

pp. 213-231

Author(s):

Gael Glorian ◽

Jean-Marie Lagniez ◽

Valentin Montmirail ◽

Nicolas Szczepanski

Keyword(s):

Graph Colouring

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics

Lemma Synthesis for Automating Induction over Algebraic Data Types

Encodings for Enumeration-Based Program Synthesis

An Improved GPU-Based SAT Model Counter

Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach

Estimating the Number of Solutions of Cardinality Constraints Through $$\texttt {range}$$ and $$\texttt {roots}$$ Decompositions

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

Constraint Programming-Based Job Dispatching for Modern HPC Applications

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving

An Incremental SAT-Based Approach to the Graph Colouring Problem

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