文献

J-GLOBAL ID：201402279882143399   整理番号：14A0854464

ILP/SAT(整数線形計画/Boole充足可能性検定)を利用した経路幅,可視性表現などの格子利用グラフ描画の決定

Using ILP/SAT to Determine Pathwidth, Visibility Representations, and other Grid-Based Graph Drawings

著者 (6件)： BIEDL Therese (Univ. Waterloo, CAN) ,  BLAESIUS Thomas (Karlsruhe Inst. of Technol., DEU) ,  NIEDERMANN Benjamin (Karlsruhe Inst. of Technol., DEU) ,  NOELLENBURG Martin (Karlsruhe Inst. of Technol., DEU) ,  PRUTKIN Roman (Karlsruhe Inst. of Technol., DEU) ,  RUTTER Ignaz (Karlsruhe Inst. of Technol., DEU)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 8242  ページ： 460-471  発行年： 2013年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (10件)： ILP ,  SAT ,  整数線形計画 ,  充足可能性 ,  検定 ,  経路 ,  可視性 ,  表現 ,  格子 ,  グラフ描画