帕拉库巴

通过此页面可以访问与我们分发的SAT解算器巴拉库巴.

马克西米利安·海辛格（Maximilian Heisinger）、马蒂亚斯·弗勒里（Mathias Fleury）、阿明·比尔（Armin Biere）。分布式立方体并征服Paracooba.进行中。第23名国际协调。可满足性的理论与应用测试（SAT’20），计算机课堂笔记科学（LNCS）第12178卷，第114-122页，施普林格出版社2020
[预印本|围巾|奖|实验|副库巴]

Armin Biere、Katalin Fazekas、Mathias Fleury、Maximillian海辛格。CaDiCaL、Kissat、Paracooba、Plingeling和Treengeling进入2020年SAT竞赛。出现在程序。SAT的2020年竞争——解决方案和基准描述.
[纸张|围巾|kissat卫星|卡迪卡牌汽车|巴拉库巴|柱基|航行]