文献
J-GLOBAL ID:201202283764540734
整理番号:12A0220125
多項式制約解決を目的とするSATモジュロ線形算術
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints
著者 (5件):
BORRALLERAS Cristina
(Univ. de Vic, Vic, ESP)
,
LUCAS Salvador
(Univ. Politecnica de Valencia, Valencia, ESP)
,
OLIVERAS Albert
(Univ. Politecnica de Catalunya, Barcelona, ESP)
,
RODRIGUEZ-CARBONELL Enric
(Univ. Politecnica de Catalunya, Barcelona, ESP)
,
RUBIO Albert
(Univ. Politecnica de Catalunya, Barcelona, ESP)
資料名:
Journal of Automated Reasoning
(Journal of Automated Reasoning)
巻:
48
号:
1
ページ:
107-131
発行年:
2012年01月
JST資料番号:
D0269E
ISSN:
0168-7433
CODEN:
JAREEW
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)