.png){kind=icon}
返回
SAT Competition 2020
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2021.103572.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The SAT Competitions constitute a well-established series of yearly open international algorithm implementation competitions, focusing on the Boolean satisfiability (or propositional satisfiability, SAT) problem. In this article, we provide a detailed account on the 2020 instantiation of the SAT Competition, including the new competition tracks and benchmark selection procedures, overview of solving strategies implemented in top-performing solvers, and a detailed analysis of the empirical data obtained from running the competition. (C) 2021 The Authors. Published by Elsevier B.V.
Keyword:
SAT
Boolean satisfiability
SAT Competition
SAT solvers
Empirical evaluation
Benchmarking
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
Using TRIS-Buffered Plasma-Activated Water to Reduce Pathogenic Microorganisms on Poultry Carcasses with Evaluation of Physicochemical and Sensory Parameters.png)
Foods
OAAI
FoodsIF0
OAAI分享收藏分享收藏分享收藏分享收藏
查看更多内容