Nachum Dershowitz, Ziyad Hanna, Jacob Katz. Bounded Model Checking with QBF. In Fahiem Bacchus, Toby Walsh, editors, Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings. Volume 3569 of Lecture Notes in Computer Science, pages 408-414, Springer, 2005. [doi]
Abstract is missing.