Hratch Mangassarian Andreas G. Veneris Sean Safarpour Farid N. Najm Magdy S. Abadir Maximum circuit activity estimation using pseudo-boolean satisfiability. 1538-1543 2007 conf/date/2007 DATE http://doi.acm.org/10.1145/1266366.1266703 db/conf/date/date2007.html#MangassarianVSNA07