Hokkaido University Collection of Scholarly and Academic Papers >
Showing results 1 to 4 of 4
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 |
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 |
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 |
Showing results 1 to 4 of 4
|