Skip to main content

2 Result(s)

within English Remove this filter Computer Science Remove this filter Algorithm Analysis and Problem Complexity Remove this filter Artificial Intelligence Remove this filter Mathematical Logic and Formal Languages Remove this filter Yu. Li Remove this filter Conference Paper 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)

  2. No Access

    Chapter and Conference Paper

    Satisfying versus Falsifying in Local Search for Satisfiability

    During local search, clauses may frequently be satisfied or falsified. Modern SLS algorithms often exploit the falsifying history of clauses to select a variable to flip, together with variable properties such...

    Chu Min Li, Yu Li in Theory and Applications of Satisfiability Testing – SAT 2012 (2012)