ResearchTasksConstraint ProgrammingConstraint ProgrammingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedMiniZinc Challenge 2022-2024MetaJuLS0.066Avg. Gap4Feb 26, 2026