C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Clustering and Partition Based Divide and Conquer for SAT Solving.
Quanrun Fan
Zhenhua Duan
Cong Tian
Hongwei Du
Published in:
MSN (2014)
Keyphrases
</>
sat solving
boolean satisfiability
sat solvers
information retrieval
genetic algorithm
special case
boolean optimization