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

TOTAL DOCUMENTS

49
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319983332, 9783319983349
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient Methods for Constraint Acquisition

2018 ◽  
pp. 373-388 ◽  
Author(s):  
Dimosthenis C. Tsouros ◽  
Kostas Stergiou ◽  
Panagiotis G. Sarigiannidis
Keyword(s):  
Constraint Acquisition

Learning-Sensitive Backdoors with Restarts

2018 ◽  
pp. 453-469
Author(s):  
Edward Zulkoski ◽  
Ruben Martins ◽  
Christoph M. Wintersteiger ◽  
Robert Robere ◽  
Jia Hui Liang ◽  
...  

The Effect of Structural Measures and Merges on SAT Solver Performance

2018 ◽  
pp. 436-452
Author(s):  
Edward Zulkoski ◽  
Ruben Martins ◽  
Christoph M. Wintersteiger ◽  
Jia Hui Liang ◽  
Krzysztof Czarnecki ◽  
...  
Keyword(s):  
Structural Measures ◽  
Sat Solver ◽  
Solver Performance
Load More ...
Sign in / Sign up

Export Citation Format

Share Document