Title: Abstraction, reformulation, and approximation
Subjects: Congresses, Computer science, Artificial intelligence, Abstraction, Approximation theory