Title: Theory and Applications of Satisfiability Testing – SAT 2017
Subjects: Calculus, Algebra, boolean, Computer algorithms, Decision making