Studies on a Parallelization Method of SAT-based CSP Solvers using CEGAR and the Share of Counterexamples
-
- SOH Takehide
- Information Science and Technology Center, Kobe University
-
- NABESHIMA Hidetomo
- Department of Research Interdisciplinary Graduate School of Medicine and Engineering,University of Yamanashi
-
- BANBARA Mutsunori
- Graduate School of Informatics, Nagoya University
-
- TAMURA Naoyuki
- Information Science and Technology Center, Kobe University
-
- INOUE Katsumi
- Principles of Informatics Research Division, National Institute of Informatics
Bibliographic Information
- Other Title
-
- CEGAR と反例の共有を用いたSAT型CSPソルバーの並列化方法の考察
- CEGAR ト ハン レイ ノ キョウユウ オ モチイタ SATガタ CSP ソルバー ノ ヘイレツカ ホウホウ ノ コウサツ
Search this article
Journal
-
- JSAI Technical Report, SIG-FPAI
-
JSAI Technical Report, SIG-FPAI 112 (0), 02-, 2020-03-01
The Japanese Society for Artificial Intelligence
- Tweet
Details 詳細情報について
-
- CRID
- 1390288547259879424
-
- NII Article ID
- 40022179338
- 130008061554
-
- NII Book ID
- AA11977943
-
- ISSN
- 24364584
-
- NDL BIB ID
- 030296527
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- NDL
- CiNii Articles
- KAKEN