2005): A survey of recent advances in SAT-based formal verification (0)

by M Prasad, A Biere, A Gupta
Venue:International Journal on Software Tools for Technology Transfer