Yike GUO


Modelling Integer Programming with Logic: Language and Implementation
Qiang LI Yike GUO Tetsuo IDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/08/25
Vol. E83-A  No. 8  pp. 1673-1680
Type of Manuscript:  PAPER
Category: Numerical Analysis and Optimization
Keyword: 
modellingpredicate logicpropositional logicinteger programming
 Summary | Full Text:PDF(442.9KB)