Max-SAT 2011

Sixth Max-SAT Evaluation

Welcome. Please log in or sign up.

Introduction

Important Dates

Rules

Machine Specifications

Previous Evaluations

Results

Presentation

Benchmarks

Solvers

Organizers

Important Dates

OpeningFebruary 14th, 2011
Registration deadlineMarch 25th, 2011
Submission of benchmarks deadlineMarch 18th, 2011
Submission of solvers deadlineMarch 25th, 2011
Results of the evaluationJune 19th-22nd, 2011
Django Powered || Last modified: April 6th, 2011.