On the run-time behaviour of stochastic local search algorithms for SAT
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
An adaptive noise mechanism for walkSAT
Eighteenth national conference on Artificial intelligence
Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Evidence for invariants in local search
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Diversification and determinism in local search for satisfiability
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Satisfying versus falsifying in local search for satisfiability
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Local search for Boolean Satisfiability with configuration checking and subscore
Artificial Intelligence
Hi-index | 0.00 |
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 number of steps done since the last time when x was flipped. If the best variable according to scores in a randomly chosen unsatisfied clause c is not the youngest in c, Novelty [4] flips this variable. Otherwise, with probability p (noise p), Novelty flips the second best variable, and with probability 1-p, Novelty flips the best variable. Novelty+ [1] randomly flips a variable in c with probability wp and does as Novelty with probability 1-wp. Novelty++ [3] flips the least recently flipped variable (oldest) in c with probability dp, and does as Novelty with probability 1-dp.