Hard Instance Generation for SAT (Extended Abstract)

Random Instance Generation for MAX 3SAT

COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics

An hybrid simulated annealing threshold accepting algorithm for satisfiability problems using dynamically cooling schemes

WSEAS Transactions on Computers

Golden ratio annealing for satisfiability problems using dynamically cooling schemes

ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems

A hybrid simulated annealing and threshold accepting for for satisfiability problems using dynamically cooling schemes

CIMMACS'07 Proceedings of the 6th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics