Computational experience with an interior point algorithm on the satisfiability problem

A Discrete Lagrangian-Based Global-SearchMethod for Solving Satisfiability Problems

Journal of Global Optimization

Convergence Properties of Optimization Algorithms for the SAT Problem

IEEE Transactions on Computers

Experimental complexity analysis of continuous constraint satisfaction problems

Information Sciences: an International Journal

Differential approximation of MIN SAT, MAX SAT and related problems

ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part IV

An approach to guided learning of boolean functions

Mathematical and Computer Modelling: An International Journal

Potential reduction algorithms for structured combinatorial optimization problems

Operations Research Letters