Fingerprint
Untersuchen Sie die Forschungsthemen von „Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic*, Martina Seidl, Florian Lonsing, Uwe Egly
*Korrespondierende/r Autor/-in für diese Arbeit
Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung