The IEEE International Conference on Tools with Artificial Intelligence, Special Track on SAT and CSP Technologies (ICTAI)
Event name
The IEEE International Conference on Tools with Artificial Intelligence, Special Track on SAT and CSP Technologies (ICTAI)
Start date
04-11-2013
End date
06-11-2013
Location
Washington D.C., USA
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Szeider, Stefan | Capturing Structure in Hard Combinatorial Problems. | Konferenzbeitrag Inproceedings | 2013 | |
| 2 | Kanj, Iyad ; de Haan, Ronald ; Szeider, Stefan | Small Unsatisfiable Subsets in Constraint Satisfaction | Konferenzbeitrag Inproceedings  | 2014 |