Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability - (Poster Presentation).

Chu Min Li, Wanxia Wei, Yu Li

Browse the full SAT paper archive.