An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT.
Ya TaoDantong OuyangMeng LiuLiming ZhangPublished in: KSEM (2) (2018)
Keyphrases
- failure rate
- combining multiple
- probability distribution
- sat solvers
- jump diffusion process
- search algorithm
- search strategies
- boolean satisfiability
- satisfiability problem
- data sets
- boolean formula
- conflict resolution
- sat solving
- sat instances
- probability theory
- posterior probability
- bayesian networks
- genetic algorithm