1. Bryant, R., Lahiri, S., Seshia, S.: Convergence testing in term-level bounded model checking. Technical Report CMU-CS-03-156, Carnegie Mellon University (2003)
2. Egly, U., et al.: Solving advanced reasoning tasks using quantified boolean formulas. In: AAAI/IAAI, pp. 417–422 (2000)
3. Rintanen, J.: Constructing conditional plans by a theorem-prover. Journal of Artificial Intelligence Research 10, 323–352 (1999)
4. Ali, M., et al.: Post-verification debugging of hierarchical designs. In: International Conf. on Computer Aided Design (ICCAD), pp. 871–876 (2005)
5. Bayardo Jr., R.J., Pehoushek, J.D.: Counting models using connected components. In: Proceedings of the AAAI National Conference (AAAI), pp. 157–162 (2000)