Max-SAT 2013
Eighth Max-SAT Evaluation
Welcome. Please
log in
.
Introduction
Important Dates
Rules
Machine Specifications
Previous Evaluations
Organizers
Benchmarks
Unweighted MaxSAT
random
crafted
industrial
Partial MaxSAT
random
crafted
industrial
Weighted MaxSAT
random
crafted
Weighted Partial MaxSAT
random
crafted
industrial
Django Powered ||
Last modified: Feb 1st, 2013.