文献

J-GLOBAL ID：201202205040852580   整理番号：12A1574281

MaxSATのためのコア誘導型二分探索に対する改善

Improvements to Core-Guided Binary Search for MaxSAT

著者 (4件)： MORGADO Antonio (Univ. Coll. Dublin, IRL) ,  HERAS Federico (Univ. Coll. Dublin, IRL) ,  MARQUES-SILVA Joao (Univ. Coll. Dublin, IRL) ,  MARQUES-SILVA Joao (IST/INESC-ID, Lisbon, PRT)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7317  ページ： 284-297  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： コア ,  誘導 ,  二分探索