Principles and Practice of Constraint Programming 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Principles and Practice of Constraint Programming 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings
 
ISBN
978-3-030-58474-0
 
Publisher Herausgeber
springer
LNCS
 
Place of publishing Erscheinungsort
Cham
12333
 
DOI
10.1007/978-3-030-58475-7
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan A Time Leap Challenge for SAT-SolvingKonferenzbeitrag Inproceedings 2020
2Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan Breaking Symmetries with RootClique and LexTopSortKonferenzbeitrag Inproceedings 2020
3Peitl, Tomáš ; Szeider, Stefan Finding the Hardest Formulas for ResolutionKonferenzbeitrag Inproceedings 2020
4Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan MaxSAT-Based Postprocessing for TreedepthKonferenzbeitrag Inproceedings 2020
5Fichte, Johannes K. ; Hecher, Markus ; Kieler, Maximilian F. I. Treewidth-Aware Quantifier Elimination and Expansion for QCSPKonferenzbeitrag Inproceedings 2020