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

First Author: Dabrowski K.K.
Attributed to:  Next Generation of Algorithms for Mixed Integer Linear Programming (MILP) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85110994693

Type: Other

Volume: 5A

Parent Publication: 35th AAAI Conference on Artificial Intelligence, AAAI 2021