Complete SAT Solver Based on Set Theory.
Wensheng GuoGuowu YangQianqi LeWilliam N. N. HungPublished in: ICICA (LNCS) (2012)
Keyphrases
- set theory
- sat solvers
- sat solving
- orders of magnitude
- partial order
- fuzzy set theory
- first order logic
- sat problem
- mathematical morphology
- search space
- boolean satisfiability
- sat instances
- max sat
- constraint satisfaction
- fuzzy sets
- rough sets
- search strategies
- rough set theory
- probability theory
- description logics
- sat encodings
- natural language
- image analysis