Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.

Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker

Browse the full SAT paper archive.