Introduction
Important Dates
Rules
Machine Specifications
Previous Evaluations
Results - Complete solvers
Results - Incomplete solvers
Presentation
Solvers
Submitted benchmarks
Benchmarks
Organizers
|
Submitted Benchmarks
-
Staff Scheduling
:
Submitters: Felix Winter
, Emir Demirovic, Nysret Musliu, Felix Winter
Description
-
OptimumAbstraction
:
Submitters: Xin Zhang
, Xin Zhang, Xujie Si, Mayur Naik
Description
-
RelationalInference
:
Submitters: Xin Zhang
, Xin Zhang, Xujie Si, Mayur Naik
Description
-
Generalized Ising model
:
Submitters: Wenxuan Huang
, Wenxuan Huang
Description
|