文献

J-GLOBAL ID：201002256224725679   整理番号：10A0555815

コスト理論を法とする充足可能性問題:基礎と応用

Satisfiability Modulo the Theory of Costs: Foundations and Applications

著者 (5件)： CIMATTI Alessandro (FBK-Irst, Trento, ITA) ,  FRANZEN Anders (FBK-Irst, Trento, ITA) ,  GRIGGIO Alberto (Univ. Trento, ITA) ,  SEBASTIANI Roberto (Univ. Trento, ITA) ,  STENICO Cristian (Univ. Trento, ITA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6015  ページ： 99-113  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： 理論 ,  法 ,  充足可能性問題 ,  基礎 ,  応用