Joshua Blinkhorn

Recent Publications

Davis and Putnam Meet Henkin: Solving DQBF with Resolution
Joshua Blinkhorn, Tomas Peitl, Friedrich Slivovsky
2021, Technical report AC-TR-21-012, Algorithms and Complexity Group, TU Wien.
PDF Cite