Complete Trigger Selection in Satisfiability modulo first-order Theories.
Christopher LynchStephen MinerPublished in: CoRR (2023)
Keyphrases
- propositional theories
- computational problems
- theory revision
- np complete
- satisfiability problem
- computational properties
- first order logic
- propositional logic
- computational complexity
- logic programs
- constraint satisfaction problems
- phase transition
- selection strategy
- cognitive psychology
- action theories
- logical formulas