Benchmark Instances and Program Codes for MAX SAT

MAX-2-SAT instances (instructions & instances)

randomly generated MAX SAT instances (instances) (instructions)

a time tabling instance (instances) (instructions)

MAX SAT instances defined by Remsey number (generators) (instructions)

program codes and filters and their instructions (partially used in "Efficient 2 and 3-Flip Neighborhood Search Algorithms for the MAX SAT: Experimental Evaluation" by M. Yagiura and T. Ibaraki; abstract)

Back to my homepage