Create
general
›
nl-complete-problems
nl-complete-problems
Articles
2-satisfiability
Logic problem, AND of pairwise ORs