Pages that link to "Item:Q3303931"
From MaRDI portal
The following pages link to Congruence Closure with Free Variables (Q3303931):
Displayed 8 items.
- Quantifier simplification by unification in SMT (Q831945) (← links)
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
- Incremental search for conflict and unit instances of quantified formulas with E-matching (Q2234102) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- Fault-Tolerant Aggregate Signatures (Q2798782) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- Scalable fine-grained proofs for formula processing (Q5919479) (← links)