Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks.
Gianpiero CabodiCarmelo LoiaconoMarco PalenaPaolo PasiniDenis PattiStefano QuerDanilo VendraminettoArmin BiereKeijo HeljankoPublished in: J. Satisf. Boolean Model. Comput. (2014)