Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs.

Ruiwei Wang Roland H. C. Yap

Published in: IJCAI (2020)

Keyphrases

non binary
binary representation
constraint satisfaction problems
arc consistency
constraint satisfaction
frequent pattern mining
sat encodings
constraint programming
constraint propagation
data mining
constraint problems
binary csps
special case
hidden variables
backtracking algorithm