112th (Mar, 2020)
Conference information
Host: The Japanese Society for Artificial intelligence
Name : 112th SIG-FPAI
Number : 112
Date : March 08, 2020 - March 09, 2020
Studies on a Parallelization Method of SAT-based CSP Solvers using CEGAR and the Share of Counterexamples
Takehide SOH, Hidetomo NABESHIMA, Mutsunori BANBARA, Naoyuki TAMURA, Katsumi INOUE
Author information
Pages 02-
Details
Article 1st page
