Highly Influenced

# Elliptic Approximations of Propositional Formulae

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

- Published 1999 in Discrete Applied Mathematics
DOI:10.1016/S0166-218X(99)00041-4

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 regions are established, the inner one containing only satissable assignments and the outer one excluding the average non satissable assignment… CONTINUE READING

Highly Cited

This paper has 28 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, and topics from this paper.

16 Citations

4 References

Similar Papers