WalkSAT

Known as: MaxWalkSat 
In computer science, GSAT and WalkSat are local search algorithms to solve Boolean satisfiability problems. Both algorithms work on formulae in… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1997-2017
051019972017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Partly on the basis of heuristic arguments from physics, it has been suggested that the performance of certain types of… (More)
Is this relevant?
2015
2015
Stochastic local search (SLS) algorithms have exhibited great effectiveness in finding models of random instances of the Boolean… (More)
  • table 1
Is this relevant?
2015
2015
Stochastic local search (SLS) algorithms are well known for their ability to efficiently find models of random instances of the… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
2012
2012
Let Φ be a uniformly distributed random k-SAT formula with n variables and m clauses. We prove that the Walksat algorithm from… (More)
Is this relevant?
2011
2011
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL… (More)
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
In this work we present Cutting Plane Inference (CPI), a Maximum A Posteriori (MAP) inference method for Statistical Relational… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
Is this relevant?
2005
2005
An important heuristic in local search algorithms for Satisfiability is focusing, i.e. restricting the selection of flipped… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
2004
2004
The first convincing demonstration that local search could be used to solve challenging satisfiability problems was provided by… (More)
Is this relevant?
2003
2003
Graphplan-style of planning can be formulated as an incremental propositional CSP where the (boolean) variables correspond to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Stochastic local search algorithms based on the WalkSAT architecture are among the best known methods for solving hard and large… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?