运筹优化相关算法竞赛合集
很欣慰地看到, 国家越来越重视竞赛了, 各个教育阶段的升学和考核等政策都在逐步向有竞赛成果的人倾斜.
相比于论文, 大部分竞赛有相对客观的评价标准, 第一只有一个, 很难出现大量无意义的低质量的重复研究.
因此, 后来者无需花费大量时间甄别前人到底尝试过哪些方法, 其中哪些是有效的, 哪些是无用的.
下面将简单列举一下与运筹优化相关的竞赛.
周期性竞赛
- 计算机科学 CS
- 电子设计自动化 EDA
- ICCAD (每年) http://iccad-contest.org
- ISPD (每年) http://www.ispd.cc/?page=contests
- EDAAI (每年/随时提交) http://www.eda-ai.org/
- 集成电路EDA设计精英挑战赛 (每年) https://eda.icisc.cn/
- 逻辑综合
- IWLS (每年) https://www.iwls.org/
- ReactiveSynthesis (每年) http://www.syntcomp.org/
- SyGuS (每年) https://sygus.org/comp/
- EDAthon (每年) https://sites.google.com/view/ceda-hk/edathon-2021
- 静态时序分析
- NP 问题通用求解引擎
- 命题逻辑
- SAT (每年) http://www.satcompetition.org/
- MaxSAT (每年) https://maxsat-evaluations.github.io/
- 谓词逻辑
- SMT (每年) https://smt-comp.github.io/previous.html
- QBF (每年) http://www.qbflib.org/index_eval.php
- 约束编程
- MiniZinc (每年) https://www.minizinc.org/challenge.html
- XCSP (每年) http://xcsp.org/competition
- 命题逻辑
- 可计算性与计算复杂性理论
- HWMCC (每年) http://fmv.jku.at/hwmcc20/#history
- ModelChecking (每年) https://mcc.lip6.fr/
- ModelCounting (每年) https://mccompetition.org/past_iterations
- 人工智能 AI
- 规划调度
- 自动定理证明
- CASC (每年) http://www.tptp.org/CASC/
- 改写引擎
- REC (不规律) http://rec.gforge.inria.fr/
- 并行计算
- GraphChallenge (每年) https://graphchallenge.mit.edu/challenges
- 电子设计自动化 EDA
- 运筹学 OR
- DIMACS (不规律) http://dimacs.rutgers.edu/programs/challenge/
- ROADEF (每一到两年) http://www.roadef.org/challenge
- PACE (每年) https://pacechallenge.org/
- VeRoLog (不规律) https://www.euro-online.org/websites/verolog/verolog-solver-challenge/
- 电力系统优化
- GOC (每年) https://gocompetition.energy.gov/
- 生物信息学 BI
- 蛋白质结构预测
- CASP (每两年) https://predictioncenter.org/
- 蛋白质结构预测
- 计算几何 CG
- 结构力学 SO
其他竞赛导航
学术会议或权威机构
- NeurIPS (人工智能相关竞赛汇总) (每年)
- FLoC (逻辑相关竞赛汇总) (每四年)
- GECCO (运筹优化竞赛汇总) (每年)
- PATAT (时刻表调度相关竞赛汇总) (不规律) https://www.patatconference.org/communityService.html
- TACAS (系统构建与分析的算法与工具相关竞赛汇总) (不规律) https://tacas.info/toolympics.php
- TFLSGO (黑盒优化竞赛汇总) (不规律) https://www.tflsgo.org/
竞赛平台
- 华为 https://competition.huaweicloud.com/competitions
- 阿里 https://tianchi.aliyun.com/competition/gameList/activeList
- AIcrowd https://www.aicrowd.com/challenges
- kaggle https://www.kaggle.com/competitions
- Biendata https://biendata.xyz/
- 京东 https://jdata.jd.com/html/list.html
- OPTIL (排行榜) https://www.optil.io/optilion/problems
个人搜集
- HSU (各类竞赛汇总) https://www.hsu-hh.de/logistik/research/challenges
已结束竞赛
- ROADEF/EURO
- GECCO
- AIcrowd
- Biendata
- 京东
- 阿里
- 布料切割 https://tianchi.aliyun.com/competition/entrance/231749/introduction
- 作业调度 https://tianchi.aliyun.com/competition/entrance/231663/introduction
- 物流运输 https://tianchi.aliyun.com/competition/entrance/231623/introduction
- 航班延误恢复 https://tianchi.aliyun.com/competition/entrance/231609/introduction
- 无人机路径规划 https://tianchi.aliyun.com/competition/entrance/231622/introduction
- 客流量预测 https://tianchi.aliyun.com/competition/entrance/231588/information
- 华为
- 卫星通信路径规划 https://competition.huaweicloud.com/information/1000041474/circumstance
- 机器分配 2018 年软件精英挑战赛
- 中心选址流量分发 2017 年软件精英挑战赛
- 光网络路由 2016 年软件精英挑战赛
- 滴滴
- 护士排班
- CHeSC