The following pages link to Saturate (Q33159):
Displaying 10 items.
- Practical algorithms for deciding path ordering constraint satisfaction. (Q1400710) (← links)
- Stratified resolution (Q1404977) (← links)
- Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
- Superposition with equivalence reasoning and delayed clause normal form transformation (Q2486577) (← links)
- (Q2762631) (← links)
- Automated complexity analysis based on ordered resolution (Q2947004) (← links)
- Splitting through New Proposition Symbols (Q2996161) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)