International Workshop on Quantified Boolean Formulas 2013 Informal Workshop Report
Book title Buchtitel
International Workshop on Quantified Boolean Formulas 2013 Informal Workshop Report
Editor Herausgeber_in
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Egly, Uwe ; Widl, Magdalena ; Seidl, Martina ; Lonsing, Florian | Solution extraction from long-distance resolution proofs | Konferenzbeitrag Inproceedings  | 2013 | |
| 2 | Slivovsky, Friedrich ; Szeider, Stefan ; Lonsing, Florian ; Seidl, Martina | Variable Dependencies and Q-Resolution | Konferenzbeitrag Inproceedings | 2013 |