文献
J-GLOBAL ID:200902163293045710
整理番号:93A0844719
簡単なLPO制約解決手法
Simple LPO constraint colving methods.
著者 (1件):
NIEUWENHUIS R
(Technical Univ. Catalonia, Barcelona, ESP)
資料名:
Information Processing Letters
(Information Processing Letters)
巻:
47
号:
2
ページ:
65-69
発行年:
1993年08月20日
JST資料番号:
E0513A
ISSN:
0020-0190
資料種別:
逐次刊行物 (A)
記事区分:
短報
発行国:
オランダ (NLD)
言語:
英語 (EN)