Max-SAT 2014

Ninth Max-SAT Evaluation

Welcome.

Benchmarks

Django Powered || Last modified: Jan. 8th, 2014.