MaxSAT Evaluation 2020

Affiliated with SAT 2020 · July 5-9 · Alghero, Italy

Execution Environment

The evaluation tracks will be run on the StarExec cluster. The maching specifications for the StarExec cluster compute nodes are available here.

Important Dates

Submissions: ~~June 7~~
June 15

Results: at SAT'20

Calls

Call for Benchmarks
Call for Solvers

Participation

Tracks
Rules
Execution Environment
Submissions

Results

Rankings and Data
Benchmarks
Solvers

Further Information

Organizers
History