Proceedings of SAT 2016: Theory and Applications of Satisfiability Testing - SAT 2016
Book title Buchtitel
Proceedings of SAT 2016: Theory and Applications of Satisfiability Testing - SAT 2016
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan | A SAT Approach to Branchwidth | Konferenzbeitrag Inproceedings  | 2016 |