Theory and Application of Satisfiability Testing --- SAT 2008
Book title Buchtitel
Theory and Application of Satisfiability Testing --- SAT 2008
Publisher Herausgeber
Lecture Notes in Computer Science
Place of publishing Erscheinungsort
4996
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Creignou, Nadia ; Daude, Herve ; Egly, Uwe ; Rossignol, Raphael | New Results on the Phase Transition for Random Quantified Boolean Formulas | Konferenzbeitrag Inproceedings  | 2008 |