Pages that link to "Item:Q5325860"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5325860):
Displayed 6 items.
- Placing quantified variants of 3-SAT and \textsc{not-all-equal} 3-SAT in the polynomial hierarchy (Q2182311) (← links)
- On simplified NP-complete variants of \textsc{Monotone} 3\textsc{-Sat} (Q2223685) (← links)
- XSAT and NAE-SAT of linear CNF classes (Q2440094) (← links)
- Computing k-modal embeddings of planar digraphs (Q5075755) (← links)
- Absorbing random walks and the NAE2SAT problem (Q5391499) (← links)
- Relating planar graph drawings to planar satisfiability problems (Q6121427) (← links)