109th (Mar, 2019)
Conference information
Host: The Japanese Society for Artificial intelligence
Name : 109th SIG-FPAI
Number : 109
Location : [in Japanese]
Date : March 13, 2019 - March 14, 2019
An adaptive search strategy for portfolio parallel SAT solvers
Pages 04-
Details
Article 1st page
