Provably optimal test cube generation using quantified boolean formula solving.

Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker

Browse the full ASPDAC paper archive.