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

TOTAL DOCUMENTS

45
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030300470, 9783030300487
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Encodings for Enumeration-Based Program Synthesis

2019 ◽  
pp. 583-599 ◽  
Author(s):  
Pedro Orvalho ◽  
Miguel Terra-Neves ◽  
Miguel Ventura ◽  
Ruben Martins ◽  
Vasco Manquinho
Keyword(s):  
Program Synthesis

An Improved GPU-Based SAT Model Counter

2019 ◽  
pp. 491-509 ◽  
Author(s):  
Johannes K. Fichte ◽  
Markus Hecher ◽  
Markus Zisser

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

2019 ◽  
pp. 20-36 ◽  
Author(s):  
Carlos Ansótegui ◽  
Miquel Bofill ◽  
Jordi Coll ◽  
Nguyen Dang ◽  
Juan Luis Esteban ◽  
...  
Keyword(s):  
Automatic Detection

scholarly journals Constraint Programming-Based Job Dispatching for Modern HPC Applications

2019 ◽  
pp. 438-455
Author(s):  
Cristian Galleguillos ◽  
Zeynep Kiziltan ◽  
Alina Sîrbu ◽  
Ozalp Babaoglu
Keyword(s):  
Constraint Programming ◽  
Job Dispatching

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving

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

An Incremental SAT-Based Approach to the Graph Colouring Problem

2019 ◽  
pp. 213-231
Author(s):  
Gael Glorian ◽  
Jean-Marie Lagniez ◽  
Valentin Montmirail ◽  
Nicolas Szczepanski
Keyword(s):  
Graph Colouring
Load More ...
Sign in / Sign up

Export Citation Format

Share Document