Title: Nonlinear approaches to satisfiability problems
Subjects: Propositional calculus, Decision making, Computer algorithms, Computer science, Symbolic and mathematical Logic, Artificial intelligence