A new algorithm for constraint satisfaction problems with Maltsev templates
Logic in Computer Science
2017-12-12 v2
Abstract
In this article, we provide a new algorithm for solving constraint satisfaction problems with Maltsev constraints, based on the new notion of Maltsev consistency.
Cite
@article{arxiv.1709.08311,
title = {A new algorithm for constraint satisfaction problems with Maltsev templates},
author = {Dejan Delic and Aklilu Habte},
journal= {arXiv preprint arXiv:1709.08311},
year = {2017}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1706.03451