Constraint Satisfaction Problems around Skolem Arithmetic (2015)

First Author: C. Glasser
Attributed to:  Infinite-domain Constraint Satisfaction Problems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Technical Report