Christian Miller, Stefan Kupferschmid, Matthew D. T. Lewis, Bernd Becker. Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. In Ofer Strichman, Stefan Szeider, editors, Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Volume 6175 of Lecture Notes in Computer Science, pages 194-208, Springer, 2010. [doi]
Abstract is missing.