Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret. Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. In Michael R. Genesereth, Peter Z. Revesz, editors, Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011. AAAI, 2011. [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