Max-SAT 2008

Third Max-SAT Evaluation


Introduction

Important Dates

Rules

Machine Specifications

Results

Submitted Benchmarks

Submitted Solvers

Previous Evaluations

Organizers

Submitted benchmarks
Last modified: August 4th, 2008.