Michiel A. Odijk;Hans van Maaren
-;-
Efficient 2 and 3-Flip Neighborhood Search Algorithms for the MAX SAT: Experimental Evaluation
Journal of Heuristics
Constraint orbital branching
IPCO'08 Proceedings of the 13th international conference on Integer programming and combinatorial optimization
Solving large Steiner Triple Covering Problems
Operations Research Letters