Pages that link to "Item:Q1323332"
From MaRDI portal
The following pages link to Satisfiability of co-nested formulas (Q1323332):
Displaying 5 items.
- Computing unsatisfiable \(k\)-SAT instances with few occurrences per variable (Q557836) (← links)
- Optimization and probabilistic satisfiability on nested and co-nested formulas (Q646722) (← links)
- Max Horn SAT and the minimum cut problem in directed hypergraphs (Q1380929) (← links)
- New tractable classes for default reasoning from conditional knowledge bases (Q2502153) (← links)
- Planar 3-SAT with a clause/variable cycle (Q5116495) (← links)
