CDCL-Based Abstract State Transition System for Coherent Logic.
Mladen NikolicPredrag JanicicPublished in: AISC/MKM/Calculemus (2012)
Keyphrases
- state transition
- sat solvers
- state transitions
- input output
- hidden markov models
- black box
- state transition model
- state space
- markov chain
- probability distribution
- sat encodings
- finite state machines
- orders of magnitude
- constraint satisfaction
- clause learning
- multi valued
- logic programming
- sat problem
- automated reasoning
- transition model
- computational properties
- machine learning
- modal logic
- search strategies
- search algorithm