Author(s)
Journal
-
- IJCAI, 1997
-
IJCAI, 1997 1, 366-371, 1997
Cited by: 8
-
1
- Implementing an Action language Α using SAT Solver and backward reasoning [in Japanese]
-
NABESHIMA Hidetomo , SAKATA Shiro , INOUE Katsumi , HANEDA Hiromasa
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI 14, 104-107, 2000-07-03
References (7) Cited by (1)
-
2
- Consideration on parallel execution of SAT solvers [in Japanese]
-
UEDA Seiji , UKAI Satoshi , INOUE Katumi , BANBARA Mutsunori , TAMURA Naoyuki , KAWAMURA Takao
IEICE technical report. Artificial intelligence and knowledge-based processing 103(103), 41-46, 2003-05-29
References (12) Cited by (1)
-
3
- Planning Graph and SAT Planning (Soecial Issue : "Recent Advancements and Applications of AI Planning Techniques") [in Japanese]
-
NABESHIMA Hidetomo , INOUE Katsumi , Hidetomo Nabeshima , Katsumi Inoue
Journal of Japanese Society for Artificial Intelligence 16(5), 605-610, 2001-09-01
JSAI References (20) Cited by (3)
-
4
- Effective SAT Planning by Speculative Computation [in Japanese]
-
NABESHIMA Hidetomo , IWANUMA Koji
IEICE technical report. Artificial intelligence and knowledge-based processing 102(91), 25-29, 2002-05-17
References (8)
-
5
- Solving Satisfiability Problems using Reconfigurable Hardware [in Japanese]
-
SUYAMA Takayuki , YOKOO Makoto , NAGOYA Akira
IPSJ SIG Notes 98(448), 31-38, 1998-12-10
References (19) Cited by (1)
-
6
- A division technique for a SAT problem in a distributed SAT solver [in Japanese]
-
TAKAMI Akihide , NABESHIMA Hidetomo , IWANUMA Koji
IEICE technical report 108(444), 23-28, 2009-02-23
References (12)
-
7
- Solving Job-shop Scheduling Problems with Multiple SAT Solvers [in Japanese]
-
SOH Takehide , INOUE Katumi
IEICE technical report. Artificial intelligence and knowledge-based processing 104(133), 19-24, 2004-06-14
References (17)
-
8
- Assessment of Effect of Clause Sharing in Parallel Boolean Satisfiability Checking [in Japanese]
-
KAMOSHIDA Yoshikazu , TAURA Kenjiro , CHIKAYAMA Takashi
IEICE technical report. Computer systems 104(240), 25-30, 2004-07-24
References (6)