Call for Benchmarks

MaxSAT Evaluation invites submission of collections of MaxSAT instances in the standard WCNF submission format.

Submission Procedure

• A benchmark submission should consist of a single zip or gzipped tar package, containing the WCNF instance files and a description of the benchmarks.
• Please use appropriate file naming conventions. Ideally, each instance file name should contain a short descriptive part for the problem domain as well as the parameters used for generating the instance as applicable.
• The benchmark description description must be formatted in IEEE Proceedings style, and submitted as PDF. The description should include author information with affiliations, a description of the problem domain in question, a description of the parameters used for generating the instances, and the file name convention. References should be used as appropriate.

The benchmark descriptions will be posted on the MaxSAT Evaluation 2020 website. Furthermore, the organizers are considering publishing the collection of system and benchmark descriptions as a report under the report series of Department of Computer Science, University of Helsinki (with an ISSN number).

---

Please submit benchmarks by email to maxsatevaluation@gmail.com using the subject title "MSE20 benchmark submission" by June 12 the latest.