About: WalkSAT

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Local search algorithm solving boolean satisfiability

Property	Value
dbo:description	local search algorithm solving boolean satisfiability (en)
dbo:wikiPageExternalLink	http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.34.6853&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.37.1008&rep=rep1&type=pdf http://www.cs.washington.edu/homes/kautz/papers/dimacs93.ps http://www.cs.rochester.edu/u/kautz/walksat/ https://www.researchgate.net/profile/Bart_Selman/publication/2471954_Pushing_the_Envelope_Planning_Propositional_Logic_and_Stochastic_Search/links/549673960cf29b9448241893/Pushing-the-Envelope-Planning-Propositional-Logic-and-Stochastic-Search.pdf
dbo:wikiPageWikiLink	dbr:Local_search_(optimization) dbc:Logic_in_computer_science dbr:Algorithm dbr:Computer_science dbr:Bram_Cohen dbr:Boolean_satisfiability_problem dbr:Henry_Kautz dbr:Clause_(logic) dbr:David_S._Johnson dbr:Michael_Trick dbr:Conjunctive_normal_form dbc:Automated_theorem_proving dbr:Well-formed_formula dbr:Bart_Selman dbr:Satplan dbc:Constraint_programming dbr:Local_minimum dbc:SAT_solvers dbr:Boolean_logic dbr:Automated_planning dbr:MAX-SAT
dbp:wikiPageUsesTemplate	dbt:Citation dbt:Short_description
dct:subject	dbc:Logic_in_computer_science dbc:Automated_theorem_proving dbc:Constraint_programming dbc:SAT_solvers
gold:hypernym	dbr:Algorithms
rdfs:label	WalkSAT (en) WalkSAT (pt)
owl:sameAs	freebase:WalkSAT yago-res:WalkSAT wikidata:WalkSAT dbpedia-pt:WalkSAT dbpedia-global:WalkSAT
prov:wasDerivedFrom	wikipedia-en:WalkSAT?oldid=1232464004&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:WalkSAT
is dbo:wikiPageRedirects of	dbr:MaxWalkSat
is dbo:wikiPageWikiLink of	dbr:Local_search_(optimization) dbr:Uwe_Schöning dbr:Local_search_(constraint_satisfaction) dbr:Proof_of_work dbr:Boolean_satisfiability_problem dbr:Exponential_time_hypothesis dbr:SAT_solver dbr:Bart_Selman dbr:Algorithmic_Lovász_local_lemma dbr:Symbolic_artificial_intelligence dbr:Satplan dbr:Boolean_satisfiability_algorithm_heuristics dbr:MaxWalkSat
is foaf:primaryTopic of	wikipedia-en:WalkSAT