All-SAT Using Minimal Blocking Clauses.

Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze, Sharad Malik

Browse the full VLSID paper archive.