Behavior of heuristics and state space structure near SAT/UNSAT transition

We study the behavior of ASAT, a heuristic for solving satisfiability problems by stochastic local search near the SAT/UNSAT transition. The heuristic is focused, i.e. only variables in unsatisfied clauses are updated in each step, and is significantly simpler, while similar to, walksat or Focused M...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Ardelius, John, Aurell, Erik
Format:	Artikel
Sprache:	eng
Schlagworte:	Physics - Statistical Mechanics
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!