Home >

news ヘルプ

論文・著書情報


タイトル
和文: 
英文:Hard instance generataion for SAT 
著者
和文: S. Horie, 渡辺 治.  
英文: S. Horie, O. Watanabe.  
言語 English 
掲載誌/書名
和文: 
英文:Lecture notes in computer science 
巻, 号, ページ Vol. 1350        pp. 22-31
出版年月 1997年 
出版者
和文: 
英文:Springer 
会議名称
和文: 
英文:Algorithms and computation : 8th International Symposium, ISAAC '97 
開催地
和文: 
英文:Singapore 

©2007 Institute of Science Tokyo All rights reserved.