Open AccessAn Incremental Algorithm to Check Satisfiability for Bounded Model Checking
Author(s) -
HoonSang Jin,
Fabio Somenzi
Publication year - 2005
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2004.06.062
Subject(s) - counterexample , model checking , bounded function , computer science , satisfiability , sequence (biology) , extension (predicate logic) , pruning , algorithm , filter (signal processing) , theoretical computer science , discrete mathematics , mathematics , programming language , mathematical analysis , biology , agronomy , computer vision , genetics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom