Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015
Book title Buchtitel
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015
Editor Herausgeber_in
Publisher Herausgeber
CEUR-WS.org
Place of publishing Erscheinungsort
Volume 1443
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Charwat, Günther ; De Vos, Marina ; Eiter, Thomas ; Lierler, Yuliya ; Toni, Francesca | Dynamic Programming on Tree Decompositions using Binary Decision Diagrams | Konferenzbeitrag Inproceedings  | 2015 |