HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 3 of 3
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
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
article大柳, 俊夫; 山本, 雅人; 大内, 東陰的列挙法に基づくSATアルゴリズムSAT Algorithm Based on Implicit Enumeration Method情報処理学会論文誌-15-Dec-1993
Showing results 1 to 3 of 3


Hokkaido University