Pages that link to "Item:Q2927648"
From MaRDI portal
The following pages link to Generalising and Unifying SLUR and Unit-Refutation Completeness (Q2927648):
Displayed 6 items.
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- Propagation complete encodings of smooth DNNF theories (Q2079276) (← 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)
- Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers (Q2818024) (← links)
- Bounds on the size of PC and URC formulas (Q5145828) (← links)