Symposium on Abstraction, Reformulation, and Approximation
Ninth Symposium of Abstraction, Reformulation, and Approximation

Presentations

Reading Tools
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem

Ansótegui, Bofill, Palahí, Suy, Villaret




Search conference