Max-SAT 2009

Fourth Max-SAT Evaluation


Introduction

Important Dates

Rules

Machine Specifications

Results

Submitted Benchmarks

Submitted Solvers

Previous Evaluations

Organizers

The results of the Max-SAT Evaluation 2009 are available in the poster and in the presentation.

Detailed results
Last modified: July 22nd, 2009.