Proceedings of the 24th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA@AI*IA 2017)
Book title Buchtitel
Proceedings of the 24th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA@AI*IA 2017)
Editor Herausgeber_in
Publisher Herausgeber
CEUR-WS.org
Place of publishing Erscheinungsort
2011
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 |