Algebraic and model theoretic methods in constraint satisfaction.

Michael Pinsker

Published in: CoRR (2015)

Keyphrases

constraint satisfaction
constraint satisfaction problems
probabilistic reasoning
databases
special case
logic programs
constraint relaxation
russian doll search