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

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]

runs on WebDSL