CP 2020 - 26th International Conference - Principles and Practice of Constraint Programming
Event name
CP 2020 - 26th International Conference - Principles and Practice of Constraint Programming
Event type
Event for scientific audience
Start date
07-09-2020
End date
11-09-2020
Location
Louvain-laNeuve, Belgium
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan | A Time Leap Challenge for SAT-Solving | Konferenzbeitrag Inproceedings  | 2020 | |
| 2 | Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan | Breaking Symmetries with RootClique and LexTopSort | Konferenzbeitrag Inproceedings | 2020 | |
| 3 | Fichte, Johannes ; Manthey, Norbert ; Stecklina, Julian ; Schidler, Andre ; Simonis, Helmut | Towards Faster Reasoners by Using Transparent Huge Pages | Konferenzbeitrag Inproceedings | 2020 | |
| 4 | Fichte, Johannes K. ; Hecher, Markus ; Kieler, Maximilian F. I. | Treewidth-Aware Quantifier Elimination and Expansion for QCSP | Konferenzbeitrag Inproceedings | 2020 |