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

First Author: Dabrowski K

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.48550/arxiv.2107.01428

Publication URI: https://arxiv.org/abs/2107.01428

Type: Preprint