106th (Mar, 2018)
Conference information
Host: The Japanese Society for Artificial intelligence
Name : 106th SIG-FPAI
Number : 106
Location : [in Japanese]
Date : March 16, 2018 - March 17, 2018
Reducing waiting time of deterministic portfolio parallel SAT solvers
Pages 05-
Details
Article 1st page
