Author:
Balyo Tomas,Heule Marijn,Jarvisalo Matti
Abstract
We give an overview of SAT Competition 2016, the 2016 edition of thefamous competition for Boolean satisfiability (SAT) solvers with over 20 years of history. A key aim is to point out ``what's hot'' in SAT competitions in 2016, i.e., new developments in thecompetition series, including new competition tracks and new solver techniquesimplemented in some of the award-winning solvers.
Publisher
Association for the Advancement of Artificial Intelligence (AAAI)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Non-Refined Abstractions in Counterexample Guided Abstraction Refinement for Multi-Agent Path Finding;2023 IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI);2023-11-06
2. Mixed Iterated Revisions: Rationale, Algorithms, and Complexity;ACM Transactions on Computational Logic;2023-05-10
3. Viper: A Fast Snapshot Isolation Checker;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08
4. Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications;2023 IEEE 39th International Conference on Data Engineering (ICDE);2023-04
5. Specification Sketching for Linear Temporal Logic;Automated Technology for Verification and Analysis;2023