Probabilistic approach to the satisfiability problem

On the satisfiability and maximum satisfiability of random 3-CNF formulas

SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms

Boosting complete techniques thanks to local search methods

Annals of Mathematics and Artificial Intelligence

Global Optimization for Satisfiability (SAT) Problem

IEEE Transactions on Knowledge and Data Engineering

Tabu search for SAT

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Approximate resolution of hard numbering problems

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1