A new algorithm for constraint satisfaction problems with Maltsev templates

09/25/2017
by   Dejan Delic, et al.
0

In this article, we provide a new algorithm for solving constraint satisfaction problems with Maltsev constraints, based on the new notion of Maltsev consistency.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/27/2011

Asynchronous Partial Overlay: A New Algorithm for Solving Distributed Constraint Satisfaction Problems

Distributed Constraint Satisfaction (DCSP) has long been considered an i...
research
04/18/2013

Constraint Satisfaction over Generalized Staircase Constraints

One of the key research interests in the area of Constraint Satisfaction...
research
12/07/2020

Improving Constraint Satisfaction Algorithm Efficiency for the AllDifferent Constraint

Combinatorial problems stated as Constraint Satisfaction Problems (CSP) ...
research
10/13/2022

Notes on CSPs and Polymorphisms

These are notes from a multi-year learning seminar on the algebraic appr...
research
11/01/1996

MUSE CSP: An Extension to the Constraint Satisfaction Problem

This paper describes an extension to the constraint satisfaction problem...
research
07/08/2016

Solving finite-domain linear constraints in presence of the alldifferent

In this paper, we investigate the possibility of improvement of the wide...
research
02/21/2018

Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections

The paper describes a new algorithm to generate minimal, stable, and sym...

Please sign up or login with your details

Forgot password? Click here to reset