Skip to main content

1 Result(s)

within Computer Science Remove this filter Complex Systems Remove this filter Chu-Min Li Remove this filter Article Remove this filter

and

  1. No Access

    Article

    Exploiting multivalued knowledge in variable selection heuristics for SAT solvers

    We show that we can design and implement extremely efficient variable selection heuristics for SAT solvers by identifying, in Boolean clause databases, sets of Boolean variables that model the same multivalued...

    Carlos Ansótegui, Jose Larrubia, Chu–Min Li… in Annals of Mathematics and Artificial Intel… (2007)