非単調推論系の一つである仮説推論では、低い推論速度が大きな問題である。我々は、仮説推論において最適解を求めるパラダイムを制約充足最適化問題と見なすことにより、0-1計画問題として解き得ることを示した。本稿では、0-1計画法を用いた仮説推論システムの構成、及び推論速度に関する実験結果について述べる。