征集捐款
QBF画廊2023
竞争附属于
SAT 2023会议和QBF 2023车间
QBF画廊2023是一项需要评估的非竞争性活动QBF解决和相关技术的最新技术。
QBF画廊2023邀请提交QBF求解器(PCNF以及非PCNF和DQBF解算器),相关工具,如预处理器以及新的基准测试挑战当前解算器的实例(尤其是最近QBFEval事件的公开解决方案)。
根据提交的资料,将决定哪些轨道有组织。与竞争性赛事相比,基准和工具贡献者可以参与组织,以防他们感兴趣。还将设立一个联合讨论小组。
QBFGallery的目标是评估最先进的技术作为社区的共同努力,识别有趣的问题,并评估(可能会重新考虑)当前的评估方案。
细节
有关比赛的详细信息和如何提交的说明,访问QBF画廊网页http://qbf23.pages.sai.jku.at/画廊/
重要日期
- 2023-03-31
- 在组织中提交或贡献的意图
- 2023-04-30
- 工具和基准的最终提交
- 2023年5月至6月
- 评估运行
- 2023-07-04
- 2023年QBF研讨会成果介绍
如有任何问题,请联系qbfgallery2023-admin@googlegroups.com