24th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA@AI*IA 2017)
Event name
24th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA@AI*IA 2017)
Start date
14-11-2017
End date
15-11-2017
Location
Bari, Italien
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Charwat, Günther ; Woltran, Stefan ; Maratea, Marco ; Serina, Ivan | Expansion-based (QBF) Solving on Tree Decompositions | Konferenzbeitrag Inproceedings  | 2017 |