Hokkaido University Collection of Scholarly and Academic Papers >
Showing results 1 to 7 of 7
Type | Author(s) | Title | Other Titles | Citation | Citation(alt) | Issue Date | bulletin (article) | 大柳, 俊夫; 中川, 嘉弘; 加地, 郁夫 | Walker法に準拠した指数乱数を用いた指数型ランダム信号の発生 | Generation of Random Telegraph Signal using Exponential Random Numbers based on Walker's Method | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 31-Oct-1987 |
article | 大柳, 俊夫; 山本, 雅人; 大内, 東 | 陰的列挙法に基づくSATアルゴリズム | SAT Algorithm Based on Implicit Enumeration Method | 情報処理学会論文誌 | - | 15-Dec-1993 |
bulletin (article) | 姉崎, 淳; 大柳, 俊夫; 加地, 郁夫 | 代理制約式を用いた陰的列挙法の効率化に関する数値実験 | Computational Experience with Improving on Efficiency of Implicit Enumeration Method with Surrogate Constraints | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 30-May-1988 |
article | 山本, 雅人; 大柳, 俊夫; 大内, 東 | 部分例示に基づく定理自動証明 | Theorem Proving Based on the Partial Instantiation Technique | 電子情報通信学会論文誌. A, 基礎・境界 | - | 25-Jul-1995 |
bulletin (article) | 山本, 雅人; 大柳, 俊夫; 大内, 東 | 部分例示手法に基づいた述語論理式の充足可能性判定手続き | A Procedure for Solving Satisfiability Problem Based on the Partial Instantiation Technique in the First-Order Logic | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 30-Jul-1993 |
bulletin (article) | 姉崎, 淳; 大柳, 俊夫; 加地, 郁夫 | 変数上下限制約付き全整数計画問題に対する陰的列挙法の効率改善について | Improvement in Efficiency of Implicit Enumeration Method for the Bounded Variable Pure Integer Programming Problem | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 31-May-1989 |
article | 大柳, 俊夫; 山本, 雅人; 大内, 東 | 命題論理におけるβ節充足可能性問題とその解法 | An Algorithm for β Clause Satisfiability Problem in Propositional Logic | 電気学会論文誌 C 電子・情報・システム部門誌 | - | Jul-1994 |
Showing results 1 to 7 of 7
|