Max-SAT 2015 - Tenth Max-SAT Evaluation

Max-SAT 2015
Tenth Max-SAT Evaluation

Welcome.

Introduction

Important Dates

Machine Specifications

Previous Evaluations

Results - Complete solvers

Results - Incomplete solvers

Submitted benchmarks

Important Dates

Opening	April 25, 2015
Submission deadline	June 30, 2015
Results of the evaluation	September 24th - 27th, 2015

Django Powered || Last modified: Apr. 16th, 2015.