Pages that link to "Item:Q1854345"

The following pages link to A short note on some tractable cases of the satisfiability problem. (Q1854345):

Displaying 8 items.

• Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets (Q1408381) (← links)
• On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
• Autark assignments of Horn CNFs (Q1742887) (← links)
• On exact selection of minimally unsatisfiable subformulae (Q1777390) (← links)
• A perspective on certain polynomial-time solvable classes of satisfiability (Q1861558) (← 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)