Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret. Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Constraints, 18(2):236-268, 2013. [doi]

This author has not been identified. Look up 'Carlos Ansótegui' in GoogleThis author has not been identified. Look up 'Miquel Bofill' in GoogleThis author has not been identified. Look up 'Miquel Palahí' in GoogleThis author has not been identified. Look up 'Josep Suy' in GoogleThis author has not been identified. Look up 'Mateu Villaret' in Google

runs on WebDSL