Skip to main content

1 Result(s)

within Wanxia Wei Remove this filter Artificial Intelligence Remove this filter Computation by Abstract Devices Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability

    Variable properties such as score and age are used to select a variable to flip. The score of a variable x refers to the decrease in the number of unsatisfied clauses if x is flipped. The age of x refers to the n...

    Chu Min Li, Wanxia Wei, Yu Li in Theory and Applications of Satisfiability … (2012)