Max-SAT 2014

Ninth Max-SAT Evaluation

Welcome.

Introduction

Important Dates

Rules

Machine Specifications

Previous Evaluations

Results - Complete solvers

Results - Incomplete solvers

Presentation

Benchmarks

Solvers

Submitted benchmarks

Organizers

Important Dates

OpeningMarch 3, 2014
Submission deadlineApril 21, 2014 (Extended)
Results of the evaluationJuly 8 - 12, 2014
Django Powered || Last modified: Jan. 8th, 2014.