草刈 圭一朗

Articles:  1-1 of 1

  • On DPLL Transition Systems Modulo Equational Theories  [in Japanese]

    馬場 達也 , 坂部 俊樹 , 西田 直樹 , 草刈 圭一朗 , 酒井 正彦 , BABA Tatsuya , SAKABE Toshiki , NISHIDA Naoki , KUSAKARI Keiichirou , SAKAI Masahiko

    SMTソルバは,指定された述語理論の下で論理式の充足可能性判定を行うツールであり,配列,リスト,キューなどの多くの理論を法として,論理式の充足可能性判定を行うことができる.しかし,利用者自身が定義した理論を法とする論理式の充足可能性判定を行うのは容易ではない.なぜならば,その理論に対する決定手続きを合わせて与えることが必要であるためである.本稿では,等式理論を法とする充足可能性判定手続きを状態遷移 …

    電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 110(227), 49-54, 2010-10

    IR 

Page Top