Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Marco Benedetti, Duncan Smith. A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. In Georges G. E. Gielen, editor, 2007 International Conference on Computer-Aided Design (ICCAD 07), November 5-8, 2007, San Jose, CA, USA. pages 240-245, IEEE, 2007. [doi]
Abstract is missing.