Login / Signup
Complete Trigger Selection in Satisfiability Modulo First-Order Theories.
Christopher Lynch
Stephen Miner
Published in:
SMT (2023)
Keyphrases
</>
propositional theories
theory revision
higher order
computational problems
satisfiability problem
selection strategy
feature selection
theoretical framework
first order logic
phase transition
cognitive psychology
selection algorithm
propositional logic