On SAT Representations of XOR Constraints.

Matthew Gwynne Oliver Kullmann

Published in: LATA (2014)

Keyphrases

sat encodings
constrained optimization
constraint satisfaction
sat solvers
higher level
combinatorial optimization
satisfiability problem
geometric constraints
global constraints
linear constraints