Art

J-GLOBAL ID：201302210594740180   Reference number：13A1452973

A Modular Approach to MaxSAT Modulo Theories

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

Author (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)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 7962  Page： 150-165  Publication year： 2013 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (2)： 理論 ,  手法