Max-SAT 2012

Seventh Max-SAT Evaluation

Welcome. Please log in or sign up.

Introduction

Important Dates

Rules

Machine Specifications

Previous Evaluations

Results - Complete solvers

Results - Incomplete solvers

Presentation

Benchmarks

Solvers

Organizers

Important Dates

OpeningFebruary 13, 2012
Submission deadlineMarch 23, 2012
Results of the evaluationJune 17th - June 20th, 2012
Django Powered || Last modified: Feb 7th, 2012.