SIAM Review
Experimental results on the crossover point in random 3-SAT
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Elliptic approximations of propositional formulae
Discrete Applied Mathematics - Special issue on the satisfiability problem and Boolean functions
Recognition of tractable satisfiability problems through balanced polynomial representations
Proceedings of the 5th Twente workshop on on Graphs and combinatorial optimization
A machine program for theorem-proving
Communications of the ACM
Solving satisfiability problems using elliptic approximations - effective branching rules
Discrete Applied Mathematics - Special issue on Boolean functions and related problems
Relaxations of the Satisfiability Problem Using Semidefinite Programming
Journal of Automated Reasoning
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
In this note we propose to use the volume of elliptic approximations of satisfiability problems as a measure for computing weighting coefficients of clauses of different lengths. For random 3-SAT formula it is confirmed experimentally that, when applied in a DPLL algorithm with a branching strategy that is based on the ellipsoids as well, the weight deduced yields better results than the weights that are used in previous studies.