Max-SAT 2016 - Eleventh Max-SAT Evaluation

Max-SAT 2016
Eleventh Max-SAT Evaluation

Welcome. Please log in .

Introduction

Important Dates

Machine Specifications

Previous Evaluations

Results - Complete solvers

Results - Incomplete solvers

Submitted benchmarks

Important Dates

Opening	February 21, 2016
Submission deadline	April 15, 2016
Results of the evaluation	July 5th - 8th, 2016

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