Vedad Hadzic

Identifiers

No identifiers captured yet.

Papers (2)

1. Expansion-Based QBF Solving Without Recursion cs.LO · 2018 · author #3
2. QBF Solving by Counterexample-guided Expansion cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Nicolas Braud-Santoni 2 shared papers
• Roderick Bloem 2 shared papers
• Florian Lonsing 1 shared papers
• Martina Seidl 1 shared papers
• Uwe Egly 1 shared papers