The following pages link to Theory Instantiation (Q5387915):
Displaying 10 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Adding decision procedures to SMT solvers using axioms with triggers (Q287384) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Making theory reasoning simpler (Q2233504) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- Planning with Effectively Propositional Logic (Q4916083) (← links)
- Model Evolution with Equality Modulo Built-in Theories (Q5200017) (← links)