Elliptic Approximations of Propositional Formulae


A propositional formula can be approximated by a concave quadratic function. This approximation is obtained as a second order Taylor expansion of a convex smooth model. It is shown that in the 3-SAT case, the involved parameters can be set to such values that yield optimal discriminative properties. Two concentric (generally elliptic) quadratic convex… (More)
DOI: 10.1016/S0166-218X(99)00041-4


1 Figure or Table