Solving Infinite-Domain CSPs Using the Patchwork Property (2023)

First Author: Dabrowski KK, Jonsson P, Ordyniak S, Osipov G

Attributed to: Next Generation of Algorithms for Mixed Integer Linear Programming (MILP) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.57711/9wwh-kw87

Publication URI: https://eprints.ncl.ac.uk/289345

Type: Other