Elliptic Approximations of Propositional Formulae

  title={Elliptic Approximations of Propositional Formulae},
  author={Hans van Maaren},
  journal={Discrete Applied Mathematics},
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


Publications referenced by this paper.
Showing 1-4 of 4 references

Double balanced formulae

  • O. Dubois
  • DIMACS SAT workshop
  • 1996

Groote and M

  • H. van Maaren, J.F
  • Rozema.
  • 1995

Similar Papers

Loading similar papers…