A framework for good SAT translations, with applications to CNF representations of XOR constraints.

Matthew Gwynne Oliver Kullmann

Published in: CoRR (2014)

Keyphrases

sat solvers
search algorithm
main contribution
constraint satisfaction
representation scheme
spatial constraints
data representations
sat solving