Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract.

ngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini

Browse the full CADE paper archive.