Christian Miller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2010–2012
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | DATE | Verification of partial designs using incremental QBF solving. | Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker |
| 2012 | SAT | Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). | Paolo Marin, Christian Miller, Bernd Becker |
| 2010 | SAT | Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. | Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker |