Implicates and Prime Implicates in Random 3-SAT.
Robert SchragJames M. CrawfordPublished in: Artif. Intell. (1996)
Keyphrases
- prime implicates
- random sat
- phase transition
- satisfiability problem
- davis putnam
- propositional logic
- sat problem
- belief change
- normal form
- modal logic
- desirable properties
- max sat
- boolean satisfiability
- knowledge compilation
- temporal logic
- belief revision
- abductive reasoning
- np complete
- stochastic local search
- randomly generated
- inference rules
- constraint satisfaction
- first order logic
- symmetry breaking
- sat solvers
- cellular automata
- search algorithm