SAT-Based System Verification(<Special Issue>Recent Advances in SAT Techniques)
-
- BANBARA Mutsunori
- Information Science and Technology Center, Kobe University
-
- TAMURA Naoyuki
- Information Science and Technology Center, Kobe University
Bibliographic Information
- Other Title
-
- SATによるシステム検証(<特集>最近のSAT技術の発展)
- SATによるシステム検証
- SAT ニ ヨル システム ケンショウ
Search this article
Journal
-
- Journal of the Japanese Society for Artificial Intelligence
-
Journal of the Japanese Society for Artificial Intelligence 25 (1), 122-129, 2010-01-01
The Japanese Society for Artificial Intelligence
- Tweet
Details
-
- CRID
- 1390285697603846016
-
- NII Article ID
- 110007504960
-
- NII Book ID
- AN10067140
-
- ISSN
- 24358614
- 21882266
- 09128085
-
- HANDLE
- 20.500.14094/90001267
-
- NDL BIB ID
- 10547162
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- IRDB
- NDL
- CiNii Articles
- KAKEN