• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Clustering and Partition Based Divide and Conquer for SAT Solving.

Quanrun FanZhenhua DuanCong TianHongwei Du
Published in: MSN (2014)
Keyphrases
  • sat solving
  • boolean satisfiability
  • sat solvers
  • information retrieval
  • genetic algorithm
  • special case
  • boolean optimization