Verification of Propositional Formulae by Means of Convex and Concave Transforms

摘要

This study investigates smooth techniques for proving or disprovingsatisfiability of propositional formula, a differentiable convex function, and a differentiable concave function is associated. Gradients of the convex function involved are used to locate solutions quickly, while gradients of the concave associate eliminate non-feasible parts of the solution space.