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

Cite this paper

@article{Maaren1999EllipticAO, title={Elliptic Approximations of Propositional Formulae}, author={Hans van Maaren}, journal={Discrete Applied Mathematics}, year={1999}, volume={96-97}, pages={223-244} }