Proceedings of SAT Race 2019: Solver and Benchmark Descriptions

2019年SAT竞赛记录：解算器和基准描述

Marijn J.H.Heule（编辑），马蒂·贾维萨洛（编辑），Martin Suda（编辑）

研究成果:账簿/报告›选集或特刊›科学

原始语言	英语

@书籍{22107eac433441b4b888c9f89ee0a1fd，

title=“2019年SAT竞赛记录：解算器和基准描述”，

keywords=“113计算机和信息科学”，

editor=“Heule，{Marijn J.H.}和Matti J{\”a}rvisalo和Martin Suda“，

年份=“2019”，

language=“英语”，

volume=“B-2019-1”，

series=“计算机科学系报告系列B”，

publisher=“赫尔辛基大学计算机科学系”，

address=“芬兰”，

}