Contents of Report

[Data of Report]

Report Number:

TM0907

Date of Registration:

1990.08

English Title:

***

Japanese Title:

情報処理学会 第41回全国大会論文集;ブール代数を用いた制約充足問題の定式化とその解法について

English Author:

Y.Nagai

Japanese:

永井　保夫

Name of Organization to which author belongs:

TOSHIBA

PDF:

tm0907.pdf

[Contents]

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda