Constraint-set satisfiability for overloading.

Carlos Camaro, Luclia Figueiredo, Cristiano D. Vasconcellos

Browse the full PPDP paper archive.