文献

J-GLOBAL ID：201302210594740180   整理番号：13A1452973

MaxSATモジュロ理論へのモジュラ手法

A Modular Approach to MaxSAT Modulo Theories

著者 (5件)： CIMATTI Alessandro (FBK-IRST, Trento, ITA) ,  GRIGGIO Alberto (FBK-IRST, Trento, ITA) ,  SCHAAFSMA Bastiaan Joost (FBK-IRST, Trento, ITA) ,  SCHAAFSMA Bastiaan Joost (Univ. Trento, ITA) ,  SEBASTIANI Roberto (Univ. Trento, ITA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7962  ページ： 150-165  発行年： 2013年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 理論 ,  手法