Max-SAT 2010

Fifth Max-SAT Evaluation

Welcome. Please log in or sign up.

Introduction

Important Dates

Rules

Machine Specifications

Previous Evaluations

Results

Presentation

Benchmarks

Solvers

Organizers

Django Powered || Last modified: July 14th, 2010.