The following pages link to Skeptik (Q23853):
Displaying 5 items.
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- NP-completeness of small conflict set generation for congruence closure (Q1688538) (← links)
- Parallelizing SMT solving: lazy decomposition and conciliation (Q1749390) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (Q3454106) (← links)
