The following pages link to Properties of SLUR Formulae (Q2891367):
Displaying 5 items.
- About some UP-based polynomial fragments of SAT (Q513329) (← links)
- The Horn renamability, q-Horn and SLUR threshold for random \(k\)-CNF formulas (Q2341714) (← links)
- Generalising unit-refutation completeness and SLUR via nested input resolution (Q2352484) (← links)
- Generalising and Unifying SLUR and Unit-Refutation Completeness (Q2927648) (← links)
- Bounds on the size of PC and URC formulas (Q5145828) (← links)
