A Parallel GRASP for MAX-SAT Problems

Efficient 2 and 3-Flip Neighborhood Search Algorithms for the MAX SAT: Experimental Evaluation

Journal of Heuristics

Probability Distribution of Solution Time in GRASP: An Experimental Investigation

Journal of Heuristics

Efficient 2 and 3-Flip Neighborhood Search Algorithms for the MAX SAT

COCOON '98 Proceedings of the 4th Annual International Conference on Computing and Combinatorics

Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic

Proceedings of the 2004 ACM symposium on Applied computing

A search agent for a Max-2sat memetic algorithm approach

ACACOS'08 Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science

Local search starting from an LP solution: Fast and quite good

Journal of Experimental Algorithmics (JEA)

Learning to generate combinatorial action sequences utilizing the initial sensitivity of deterministic dynamical systems

IWANN'03 Proceedings of the Artificial and natural neural networks 7th international conference on Computational methods in neural modeling - Volume 1

Efficient and experimental meta-heuristics for MAX-SAT problems

WEA'05 Proceedings of the 4th international conference on Experimental and Efficient Algorithms