Temporal Induction by Incremental SAT Solving (2003)
by
Niklas Een
,
Niklas Sörensson
| Citations: | 37 - 2 self |
BibTeX
@MISC{Een03temporalinduction,
author = {Niklas Een and Niklas Sörensson},
title = {Temporal Induction by Incremental SAT Solving},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show how a very modest modi cation to a typical modern SAT-solver enables it to solve a series of related SAT-instances eciently.
