publication venue for Efficient, scalable hardware engine for Boolean satisfiability and unsatisfiable core extraction. 2:214-229. 2008