このブログはコメントが付けられますが、こちらで確認してから反映するようにしています。何日も気付かないことがたまにありますが、そんな時は気長にお待ちくださいませ。

追記(2009/05/08 08:27)
訂正です。ある条件を満たすと確認なしで表示されます。

レスポンス[2]

投稿者 kw : 2009/05/07 22:09:00 JST #

有限な meet-semilattice 上の制約解消問題のうち真っ当に解ける（NP-hard でない）問題のクラスについて議論した論文。これを読んだのは、情報流解析の型システムを制約解消系として実装する時に解ける方に入ることを確認するため。似たようなことをやってる別の論文でこれに基づいているのがあるから大丈夫なんだろうけど、元論文にも一応当たっておくということで。

author="Jakob Rehof and Torben Æ. Mogensen",
title="{Tractable Constraints in Finite Semilattices}",
journal="Science of Computer Programming",
volumn="35",
number="2",
pages="191--221",
year="1999"

コメント追加

投稿者 kw : 2009/05/07 21:38:00 JST #