João P. Marques Silva Karem A. Sakallah Boolean satisfiability in electronic design automation. 675-680 2000 DAC http://doi.acm.org/10.1145/337292.337611 db/conf/dac/dac2000.html#SilvaS00