Max-SAT 2009

Fourth Max-SAT Evaluation


Introduction

Important Dates

Rules

Machine Specifications

Results

Submitted Benchmarks

Submitted Solvers

Previous Evaluations

Organizers

Previous Evaluations

Three previous Max-SAT evaluations have been held: Max-SAT 2006, Max-SAT 2007, and Max-SAT 2008.

Last modified: July 22nd, 2009.