Contents of Report
[Data of Report]
Report Number:
TR0787
Date of Registration:
1992.07
English Title:
***
Japanese Title:
ブール制約評価アルゴリズム：漸増型変数除去法
English Author:
***
Japanese:
毛受 哲
Name of Organization to which author belongs:
ICOT
PDF:
tr0787.pdf
[Contents]
概要
.... 2
1
はじめに
.... 2
2
ブール制約
.... 2
3
漸増型変数除去法
.... 4
4
例題
.... 8
4.1
論理回路の問題
.... 8
4.2
LewisCarrolのパズル
.... 9
5
まとめ
.... 9
謝辞
.... 10
参考文献
.... 11
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports