/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2013ホーム
/
2E4-OS-09a-1 (OS招待講演)項書換え系におけるSAT技術
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2013
06月05日(Wed) 15:00〜17:40 E会場(-国際会議場204号室)
2E4-OS-09a オーガナイズドセッション「OS-09 SAT技術の理論,実装,応用-1」
演題番号
2E4-OS-09a-1
題目
(OS招待講演)項書換え系におけるSAT技術
著者
酒井 正彦(名古屋大学 大学院情報科学研究科)
時間
06月05日(Wed) 15:00〜15:40
概要
項書換え系の停止性証明技術は近年飛躍的に進展し、その競技会が開催されるにまで至っている。本講演では、停止性証明の基本技術、ならびに、その進展の一役を担っているSAT技術との関係について述べる。
論文
PDFファイル