CAMA: A Multi-Valued Satisfiability Solver

  title={CAMA: A Multi-Valued Satisfiability Solver},
  author={Cong Liu and Andreas Kuehlmann and Matthew W. Moskewicz},
This paper presents the multi-valued SAT solver CAMA. CAMAgeneralizes the recently developed speed-up techniques usedin state-of-the-art binary SAT solvers, such as the two-literal-watching scheme for Boolean constraint propagation (BCP), conflict-based learning with identifying the first unique implication point (UIP), and non-chronological back-tracking. In addition, a novel minimum value set (MVS) technique is introduced for improving the efficiency of conflict-based learning. By analyzing… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS