Approximation Schemes for First-Order Definable Optimisation Problems.
Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
Browse the full LICS paper archive.
Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
Browse the full LICS paper archive.