Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information.
Liangze YinFei HeMing GuPublished in: TASE (2013)
Keyphrases
- structural information
- bounded model checking
- model checking
- formal verification
- decision making
- structural similarity
- temporal logic
- semantic information
- satisfiability problem
- search algorithm
- linear temporal logic
- structural features
- global information
- multi agent systems
- sat solvers
- sat problem
- logical structure
- decision problems
- multi agent
- search strategies
- training data
- metadata
- cooperative
- search engine