发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Advances in Artificial Intelligence Volume 9868 || ABT with Clause Learning for Distributed SAT

Luaces, Oscar; Gámez, José A.; Barrenechea, Edurne; Troncoso, Alicia; Galar, Mikel; Quintián, Héctor; Corchado, Emilio

作者Luaces, Oscar; Gámez, José A.; Barrenechea, Edurne; Troncoso, Alicia; Galar, Mikel; Quintián, Héctor; Corchado, Emilio
文件大小329.89KB
发表时间2016
DOI10.1007/978-3-319-44636-3_17
页码183-193