Engineering DPLL(T) + Saturation.
Leonardo Mendonça de MouraNikolaj BjørnerPublished in: IJCAR (2008)
Keyphrases
- np complete
- engineering design
- software engineering
- propositional logic
- sat solvers
- first order logic
- engineering problems
- sat solving
- constraint satisfaction
- constraint satisfaction problems
- computer science
- mechanical engineering
- sat problem
- propositional satisfiability
- real time
- materials science
- clause learning
- max sat
- product design
- design process
- computational complexity
- artificial intelligence