/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ 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ファイル