Max-SAT 2009

Fourth Max-SAT Evaluation


Introduction

Important Dates

Rules

Machine Specifications

Results

Submitted Benchmarks

Submitted Solvers

Previous Evaluations

Organizers

Important Dates

OpenningApril 1, 2009
Registration deadlineApril 26, 2009
Submission of solvers and benchmarks deadlineApril 26, 2009
ExperimentationMay and June, 2009
Results of the evaluationJune 30-July 3, 2009
Last modified: July 22nd, 2009.