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

Presentations

Reading Tools

Satisfiability Mod...

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