Pages that link to "Item:Q2352484"
From MaRDI portal
The following pages link to Generalising unit-refutation completeness and SLUR via nested input resolution (Q2352484):
Displayed 5 items.
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- XOR local search for Boolean Brent equations (Q2118332) (← 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)
- Generalising and Unifying SLUR and Unit-Refutation Completeness (Q2927648) (← links)