Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Book title Buchtitel
Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
 
Publisher Herausgeber
Springer
 
Place of publishing Erscheinungsort
11008
 
DOI
10.1007/978-3-319-98334-9
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Lonsing, Florian ; Egly, Uwe Evaluating QBF Solvers: Quantifier Alternations MatterKonferenzbeitrag Inproceedings 2018
2Hoos, Holger H. ; Peitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Portfolio-Based Algorithm Selection for Circuit QBFsKonferenzbeitrag Inproceedings 2018