2014年可配置SAT解决方案挑战赛（CSSC）

法律公告

该网站由弗莱堡大学学习、优化和自动算法设计研究小组.请将任何问题、疑虑或意见发送至弗兰克·赫特.

该网站由弗赖堡大学主办。你可以找到它的官方法律公告在这里.