文献

J-GLOBAL ID：201402256933976986   整理番号：14A0135231

Scala上で実現されたSAT型制約プログラミングシステムのための開発ツールScarabについて

著者 (5件)： 宋剛秀 (神戸大 情報基盤セ) ,  番原睦則 (神戸大 情報基盤セ) ,  田村直之 (神戸大 情報基盤セ) ,  LE BERRE Daniel (Univ. d’Artois) ,  ROUSSEL Stephanie (Univ. d’Artois)
資料名： 日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))
巻： 30th  ページ： 237-245  発行年： 2013年 
JST資料番号： X0080B  ISSN： 1348-0901  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： Scarabは制約プログラミングのためのドメイン特化言語,SAT符号化モジュール,SATソルバーへのインターフェースから構成されており,SAT型制約プログラミングシステム開発者を対象に,表現性,変更性,効率性を備えたワークベンチを提供することを目的としたツールである。Scarabは著者らが開発したScala上の制約プログラミング用ドメイン特化言語であるCoprisと同様のツールである。しかしScarabでは,SATソルバー以外の部分は,SAT符号化の部分を含めてすべてScalaでコンパクトに記述されており変更が容易であるという特長を持つ。またSATソルバーとして利用しているSat4jに対するAPIを使用することにより,インクリメンタル解法などのSAT技術を用いた高度な解法が実現可能である点も特長の一つである。本論文では,Scarabの構成とプログラム例を通してその機能と特長について説明を行う。(著者抄録)

シソーラス用語： *制約プログラミング ,  *充足可能性問題 ,  支援プログラム ,  モジュール構造 ,  システムインタフェイス ,  アルゴリズム ,  応用向き言語 ,  構文分析 ,  パッキング問題 ,  符号化 ,  性能評価 ,  評価試験 ,  ソフトウェア開発
準シソーラス用語： インクリメンタルアルゴリズム ,  ソフトウェアツール ,  ラテン方陣

分類 (2件)： 計算機システム開発  (JD02010R) ,  論理代数  (JB03000H)

タイトルに関連する用語 (4件)： SAT ,  制約プログラミング ,  開発 ,  ツール