Solving satisfiability problems using elliptic approximations. A note on volumes and weights

Annals of Mathematics and Artificial Intelligence

Volumn 37, Issue 3, 2003, Pages 273-283

  Van Maaren, Hans ^a   Warners, Joost P ^b  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b KPN RESEARCH   (Netherlands)

Author keywords

Conjunctive normal form; Elliptic approximation; Satisfiability

Indexed keywords

EID: 0037212563     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1021200130191     Document Type: Article

References (20)

1. M. Böhm and E. Speckenmeyer, A fast parallel SAT-solver - efficient workload balancing, Annals of Mathematics and Artificial Intelligence 17 (1996) 381-400.
2. S.A. Cook, The complexity of theorem proving procedures, in: Proceedings of the 3rd Annual ACM Symposium on the Theory of Computing (1971) pp. 151-158.
3. J.M. Crawford, Solving satisfiability problems using a combination of systematic and local search, Extended abstract, presented at Second DIMACS Challenge, Rutgers University, NJ (1993).
4. J.M. Crawford and L.D. Auton, Experimental results on the crossover point in random 3-SAT, Artificial Intelligence (1996) 81.
5. M. Davis, M. Logemann and D. Loveland, A machine program for theorem proving, Communications of the ACM 5 (1962) 394-397.
6. M. Davis and H. Putnam, A computing procedure for quantification theory, Journal of the ACM 7 (1960) 210-215.
7. E. de Klerk, H. van Maaren and J.P. Warners, Relaxations of the satisfiability problem using semidefinite programming, Journal of Automated Reasoning 24 (2000) 37-65.
8. D. Du, J. Gu and P.M. Pudalos (eds.), Satisfiability Problem: Theory and Applications, DIMACS Series in Discrete Mathematics and Computer Science, Vol. 35 (American Mathematical Society, 1997).
9. O. Dubois, P. Andre, Y. Boufkhad and J. Carlier, SAT versus UNSAT, in: [13], pp. 415-436.
10. J. Gu, P.W. Purdom, J. Franco and B.W. Wah, Algorithms for the satisfiability (SAT) problem: a survey, in: [8], pp. 9-151.
11. J.N. Hooker and V. Vinay, Branching rules for satisfiability, Journal of Automated Reasoning 15(3) (1995) 359-383.
12. R.G. Jeroslow and J. Wang, Solving propositional satisfiability problems. Annals of Mathematics and Artificial Intelligence 1 (1990) 167-187.
13. D.S. Johnson and M.A. Trick (eds.), Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Computer Science, Vol. 26 (American Mathematical Society, 1996).
14. L. Vandenberghe and S. Boyd, Semidefinite programming, SIAM Review 38 (1996) 49-95.
15. A. van Gelder and Y.K. Tsuji, Satisfiability testing with more reasoning and less guessing, in: [13], pp. 559-586.
16. H. van Maaren, On the use of second order derivatives for the satisfiability problem, in [8], pp. 677-687.
17. H. van Maaren, Elliptic approximations of propositional formulae, Discrete Applied Mathematics 96-97 (1999) 223-244.
18. J.P. Warners and H. van Maaren, A two phase algorithm for solving a class of hard satisfiability problems, Operations Research Letters 23 (1998) 81-88.
19. J.P. Warners and H. van Maaren, Recognition of tractable satisfiability problems trough balanced polynomial representations, Discrete Applied Mathematics 99 (2000) 229-244.
20. J.P. Warners and H. van Maaren, Solving satisfiability problems using elliptic approximations effective branching rules, Discrete Applied Mathematics 107 (2000) pp. 241-259.