Verbesserte SAT basierte Fehlerdiagnose durch Widerspruchanalyse.
André SülflowGörschwin FeyRolf DrechslerPublished in: MBMV (2007)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- sat solving
- search algorithm
- search strategies
- phase transition
- propositional satisfiability
- stochastic local search algorithms
- databases
- stochastic local search
- boolean satisfiability
- neural network
- data mining
- max sat
- satisfiability testing
- pseudo boolean constraints