Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)
Book title Buchtitel
Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan | A SAT Approach to Branchwidth | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Redl, Christoph | Conflict-driven ASP Solving with External Sources and Program Splits | Konferenzbeitrag Inproceedings | 2017 |