Acceleration of SAT-Based Iterative Property Checking.

Daniel Große Rolf Drechsler

Published in: CHARME (2005)

Keyphrases

sat solvers
bounded model checking
ai planning
answer set programming
neural network
iterative methods
desirable properties
evolutionary algorithm
heuristic search
logic programs
database
multi agent
case study
information systems
artificial intelligence
learning algorithm
information retrieval
real time