Max-SAT 2010 - Fifth Max-SAT Evaluation

Max-SAT 2010
Fifth Max-SAT Evaluation

Welcome. Please log in or sign up.

Introduction

Important Dates

Machine Specifications

Previous Evaluations

Benchmarks

Benchmark statistics

Unweighted MaxSAT

Partial MaxSAT

Weighted MaxSAT

Weighted Partial MaxSAT

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