meSAT: multiple encodings of CSP to SAT.

Mirko Stojadinovic Filip Maric

Published in: Constraints An Int. J. (2014)

Keyphrases

sat encodings
constraint satisfaction problems
sat problem
boolean satisfiability
satisfiability problem
sat solvers
neural network
genetic algorithm
logic programs
np complete
constraint propagation
non binary
sat instances