Max-SAT 2013 - Eighth Max-SAT Evaluation

Max-SAT 2013
Seventh Max-SAT Evaluation

Welcome. Please log in or sign up.

Introduction

Important Dates

Machine Specifications

Previous Evaluations

Results - Complete solvers

Results - Incomplete solvers

Benchmarks

Unweighted MaxSAT

Partial MaxSAT

Weighted MaxSAT

Weighted Partial MaxSAT

Django Powered || Last modified: Feb 7th, 2013.