On SAT representations of XOR constraints.

Matthew Gwynne Oliver Kullmann

Published in: CoRR (2013)

Keyphrases

search algorithm
linear constraints
sat encodings
neural network
learning algorithm
knowledge base
bayesian networks
constraint satisfaction
constraint programming
global constraints
stochastic local search