kw's blog - Tractable Constraints in Finite Semilattices http://mizunashi.net:80/blog/2009/05/07/1241699880000.html 有限な meet-semilattice 上の制約解消問題のうち真っ当に解ける（N... ja kw Thu, 07 May 2009 12:38:00 GMT kw 2009-05-07T12:38:00Z ja kw kw's blog http://mizunashi.net:80/blog/