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

Presentations

Reading Tools
Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted CSPs for Searching Robust Solutions

Climent, Salido, Barber




Search conference