Recommendations
Cites work
Cited in
(10)- On the algorithmic complexity of adjacent vertex closed distinguishing colorings number of graphs
- On a simple hard variant of \textsc{Not-All-Equal} 3-\textsc{Sat}
- Theory and Applications of Satisfiability Testing
- Graphs without gap-vertex-labellings: families and bounds
- Planar 3-SAT with a clause/variable cycle
- Not-all-equal and 1-in-degree decompositions: algorithmic complexity and applications
- On the complexity of gap-\([2]\)-vertex-labellings of subcubic bipartite graphs
- On strongly planar 3SAT
- scientific article; zbMATH DE number 4094812 (Why is no real title available?)
- Subexponential algorithms for variants of the homomorphism problem in string graphs
This page was built for publication: On strongly planar not-all-equal 3SAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q326466)