Keyphrases
- bounded model checking
- model checking
- formal verification
- answer set programming
- three dimensional
- verification method
- sat solvers
- face verification
- linear temporal logic
- ai planning
- planning problems
- answer sets
- genetic algorithm
- temporal logic
- boolean satisfiability
- asynchronous circuits
- sat encodings
- logic programs
- d objects
- multi agent systems
- piecewise planar
- functional verification