Satisfiability testing with more reasoning and less guessing.
Allen Van GelderYumi K. TsujiPublished in: Cliques, Coloring, and Satisfiability (1993)
Keyphrases
- satisfiability testing
- propositional logic
- tie breaking
- model counting
- reasoning process
- spatial reasoning
- analogical reasoning
- knowledge representation and reasoning
- reasoning systems
- computational properties
- qualitative reasoning
- meta level
- knowledge representation
- model based reasoning
- conflicting information
- weighted model counting
- automated reasoning
- database
- probabilistic inference
- expert systems
- natural language
- knowledge base
- data mining
- data sets