The following pages link to Satisfiability on hypergraphs (Q1313082):
Displaying 7 items.
- Reversed resolution in reducing general satisfiability problem (Q993493) (← links)
- The Ryōan-ji axiom for common knowledge on hypergraphs (Q2263050) (← links)
- Bipartite bihypergraphs: a survey and new results (Q2495517) (← links)
- Property S (Q2772903) (← links)
- Tractable hypergraph properties for constraint satisfaction and conjunctive queries (Q2875201) (← links)
- Achieving new upper bounds for the hypergraph duality problem through logic (Q4635628) (← links)
- Equivalence of strongly connected graphs and black-and-white 2-SAT problems (Q5379589) (← links)