24th International Conference on Principles and Practice of Constraint Programming (CP 2018)

Event name
24th International Conference on Principles and Practice of Constraint Programming (CP 2018)
 
Event type
Event for scientific audience
 
Start date
27-08-2018
End date
31-08-2018
 
Location
Lille
Country
France
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Lonsing, Florian ; Egly, Uwe Evaluating QBF Solvers: Quantifier Alternations MatterKonferenzbeitrag Inproceedings 2018
2Fichte, Johannes ; Hecher, Markus ; Lodha, Neha ; Szeider, Stefan ; Hooker, John An SMT Approach to Fractional Hypertree WidthKonferenzbeitrag InproceedingsAug-2018