Towards Model Validation and Verification with SAT Techniques.
Martin GogollaPublished in: Algorithms and Applications for Next Generation SAT Solvers (2009)
Keyphrases
- model validation
- model checking
- sat solvers
- satisfiability problem
- neural network
- search algorithm
- sat problem
- formal verification
- stochastic local search
- verification method
- sat solving
- face verification
- propositional satisfiability
- phase transition
- stochastic local search algorithms
- false acceptance rate
- boolean satisfiability
- signature verification
- sat instances
- search strategy