講演・口頭発表等

2004年5月

AND/OR木における証明数・反証数を用いた階層的挟み撃ち探索

情報処理学会先進的計算基盤シンポジウム
  • 鷹野芙美代
    • ,
  • 関根敦史
    • ,
  • 佐田宏史
    • ,
  • 前川仁孝
    • ,
  • 六沢一昭
記述言語
日本語
会議種別
口頭発表（一般）
講演・口頭発表等リストへ