Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algorithm
local search algorithm |
| gptkbp:application |
gptkb:artificial_intelligence
automated reasoning constraint satisfaction problems |
| gptkbp:category |
satisfiability algorithm
|
| gptkbp:describedBy |
gptkb:Artificial_Intelligence_journal
AAAI-92 Proceedings |
| https://www.w3.org/2000/01/rdf-schema#label |
WalkSAT algorithm
|
| gptkbp:introducedIn |
1993
|
| gptkbp:inventedBy |
gptkb:Henry_Kautz
gptkb:Bart_Selman Bart Selman and Henry Kautz |
| gptkbp:isHeuristic |
true
|
| gptkbp:isIncomplete |
true
|
| gptkbp:operates |
propositional logic formulas in conjunctive normal form
|
| gptkbp:parameter |
probability of random walk
|
| gptkbp:relatedTo |
gptkb:DPLL_algorithm
GSAT algorithm |
| gptkbp:usedFor |
solving Boolean satisfiability problems
|
| gptkbp:uses |
random walk
greedy local search |
| gptkbp:bfsParent |
gptkb:k-SAT
|
| gptkbp:bfsLayer |
7
|