15#^{th} Interantional Conference on Logic for Programmin, Artificial Intelligence, and Reasoning (LPAR)
Event name
15#^{th} Interantional Conference on Logic for Programmin, Artificial Intelligence, and Reasoning (LPAR)
Start date
22-11-2008
End date
27-11-2008
Location
Doha, Qatar
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Jakl, Michael ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei | Fast Counting with Bounded Treewidth | Konferenzbeitrag Inproceedings | 2008 | |
| 2 | Savenkov, Vadim ; Pichler, Reinhard ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei | Towards Practical Feasibility of Core Computation in Data Exchange | Konferenzbeitrag Inproceedings  | 2008 |