Exploiting hypergraph partitioning for efficient Boolean satisfiability.

Vijay Durairaj Priyank Kalla

Published in: HLDVT (2004)

Keyphrases

boolean satisfiability
sat solvers
learning algorithm
computer vision
image segmentation
combinatorial problems