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 4 of 4
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
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 University30-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 University31-May-1989
bulletin (article)姉崎, 淳; 大柳, 俊夫; 加地, 郁夫代理制約式を用いた陰的列挙法の効率化に関する数値実験Computational Experience with Improving on Efficiency of Implicit Enumeration Method with Surrogate Constraints北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University30-May-1988
bulletin (article)大柳, 俊夫; 中川, 嘉弘; 加地, 郁夫Walker法に準拠した指数乱数を用いた指数型ランダム信号の発生Generation of Random Telegraph Signal using Exponential Random Numbers based on Walker's Method北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University31-Oct-1987
Showing results 1 to 4 of 4

 

Hokkaido University