C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Improved SAT-Based Bounded Reachability Analysis.
Malay K. Ganai
Adnan Aziz
Published in:
VLSI Design (2002)
Keyphrases
</>
reachability analysis
model checking
markov decision processes
incremental algorithms
bounded model checking
data mining
temporal logic
inference rules
answer sets
answer set programming
ai planning