Hokkaido University Collection of Scholarly and Academic Papers >
Showing results 1 to 3 of 3
Type | Author(s) | Title | Other Titles | Citation | Citation(alt) | Issue Date | article | 大柳, 俊夫; 山本, 雅人; 大内, 東 | 陰的列挙法に基づくSATアルゴリズム | SAT Algorithm Based on Implicit Enumeration Method | 情報処理学会論文誌 | - | 15-Dec-1993 |
article | 山本, 雅人; 大柳, 俊夫; 大内, 東 | 部分例示に基づく定理自動証明 | Theorem Proving Based on the Partial Instantiation Technique | 電子情報通信学会論文誌. A, 基礎・境界 | - | 25-Jul-1995 |
article | 大柳, 俊夫; 山本, 雅人; 大内, 東 | 命題論理におけるβ節充足可能性問題とその解法 | An Algorithm for β Clause Satisfiability Problem in Propositional Logic | 電気学会論文誌 C 電子・情報・システム部門誌 | - | Jul-1994 |
Showing results 1 to 3 of 3
|