The following pages link to (Q4375759):
Displayed 5 items.
- Investigations on autark assignments (Q1841885) (← links)
- A short note on some tractable cases of the satisfiability problem. (Q1854345) (← links)
- A perspective on certain polynomial-time solvable classes of satisfiability (Q1861558) (← links)
- Generalising unit-refutation completeness and SLUR via nested input resolution (Q2352484) (← links)
- Generalising and Unifying SLUR and Unit-Refutation Completeness (Q2927648) (← links)