The following pages link to (Q4282509):
Displaying 5 items.
- Short proofs for tricky formulas (Q800909) (← links)
- Tractability through symmetries in propositional calculus (Q1332641) (← links)
- The complexity of resolution with generalized symmetry rules (Q1771316) (← links)
- The symmetry rule in propositional logic (Q1961453) (← links)
- KoMeT (Q5210812) (← links)