On Incremental Satisfiability and Bounded Model Checking

Reference:

Siert Wieringa. On incremental satisfiability and bounded model checking. In First International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS11), 2011.

Suggested BibTeX entry:

@inproceedings{DIFTS11,
    author = {Siert Wieringa},
    booktitle = {First International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS11)},
    language = {eng},
    title = {On Incremental Satisfiability and Bounded Model Checking},
    year = {2011},
}