Scalable SAT Solving and its Application | Experimental Data

Experimental data accompanying the doctoral thesis of Dominik P. Schreiber entitled "Scalable SAT Solving and its Application", Karlsruhe Institute of Technology, 2023. Upstream URL: https://github.com/domschrei/sssaia -- Funding notices: This project has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement No. 882500). Some of this work was performed on the supercomputer ForHLR funded by the Ministry of Science, Research and the Arts Baden-W ̈urttemberg and by the Federal Ministry of Education and Research. Some of this work was performed on the HoreKa supercomputer funded by the Ministry of Science, Research and the Arts Baden-Württemberg and by the Federal Ministry of Education and Research. The author gratefully acknowledges the Gauss Centre for Supercomputing e.V. (www.gauss-centre.eu) for funding this project by providing computing time on the GCS Supercomputer SuperMUC-NG at Leibniz Supercomputing Centre (www.lrz.de).本数据集配套于多米尼克·P·施赖伯（Dominik P. Schreiber）题为《可扩展可满足性问题求解及其应用》的博士论文，卡尔斯鲁厄理工学院，2023年。 上游资源地址：https://github.com/domschrei/sssaia --- 资助说明： 本项目获欧洲研究理事会（European Research Council, ERC）资助，隶属于欧盟地平线2020研究与创新计划（资助协议编号：882500）。 部分研究工作在巴登-符腾堡州科学、研究与艺术部以及联邦教育与研究部资助的超级计算机ForHLR上完成。 部分研究工作在巴登-符腾堡州科学、研究与艺术部以及联邦教育与研究部资助的超级计算机HoreKa上完成。 作者衷心感谢高斯超级计算协会（Gauss Centre for Supercomputing e.V.，官网：www.gauss-centre.eu）通过莱布尼茨超级计算中心（www.lrz.de）的GCS超级计算机SuperMUC-NG提供计算时间以资助本项目。