Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.

Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar

Browse the full CAV paper archive.