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]
No reviews for this publication, yet.