Author:
Järvisalo Matti,Le Berre Daniel,Roussel Olivier,Simon Laurent
Abstract
The International SAT Solver Competition is today an established series of competitive events aiming at objectively evaluating the progress in state-of-the-art procedures for solving Boolean satisfiability (SAT) instances. Over the years, the competitions have significantly contributed to the fast progress in SAT solver technology that has made SAT a practical success story of computer science. This short article provides an overview of the SAT solver competitions.
Publisher
Association for the Advancement of Artificial Intelligence (AAAI)
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers;Lecture Notes in Computer Science;2024
2. Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
3. FPGA-Based Stochastic Local Search Satisfiability Solvers Exploiting High Bandwidth Memory;2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration (VLSI-SoC);2022-10-03
4. Decomposing software verification into off-the-shelf components;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
5. Inductive logic programming at 30;Machine Learning;2021-11-09