@收款{zbMATH07331009，作者={Vallade、Vincent和Le Frioux、Ludovic和Baarir、Souheib和Sopena、Julien和Ganesh、Vijay和Kordon、Fabrice}，标题={社区和基于{LBD}并行{SAT}求解}的子句共享策略，BookTitle={可满足性测试的理论与应用--SAT 2020。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼}，国际标准图书编号={978-3-030-51824-0；978-3-0.30-51825-7}，页码={11--27}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-51825-7_2}，关键词={68Q25,68R07,68T20}，zbMATH={7331009}}