Max-SAT 2011 - Sixth Max-SAT Evaluation

Max-SAT 2011
Sixth Max-SAT Evaluation

Welcome. Please log in or sign up.

Introduction

Important Dates

Machine Specifications

Previous Evaluations

Benchmarks

Unweighted MaxSAT

Partial MaxSAT

Weighted MaxSAT

Weighted Partial MaxSAT

Django Powered || Last modified: April 6th, 2011.