{
  "http://en.wikipedia.org/wiki/WalkSAT" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/Proof_of_work" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/Local_search_(constraint_satisfaction)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/Uwe_Sch\u00F6ning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/Symbolic_artificial_intelligence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/Satplan" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/SAT_solver" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/Bart_Selman" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/Exponential_time_hypothesis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/Local_search_(optimization)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/WalkSAT" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q7961996" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/WalkSAT" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.086yyz" } ,
      { "type" : "uri", "value" : "http://pt.dbpedia.org/resource/WalkSAT" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4xZea" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "WalkSAT" , "lang" : "en" } ,
      { "type" : "literal", "value" : "WalkSAT" , "lang" : "pt" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:SAT_solvers" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic_in_computer_science" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Constraint_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Automated_theorem_proving" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/WalkSAT?oldid=1232464004&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Algorithms" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/WalkSAT" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://www.cs.washington.edu/homes/kautz/papers/dimacs93.ps" } ,
      { "type" : "uri", "value" : "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" } ,
      { "type" : "uri", "value" : "http://www.cs.rochester.edu/u/kautz/walksat/" } ,
      { "type" : "uri", "value" : "http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.34.6853&rep=rep1&type=pdf" } ,
      { "type" : "uri", "value" : "http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.37.1008&rep=rep1&type=pdf" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bram_Cohen" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic_in_computer_science" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer_science" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Constraint_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:SAT_solvers" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Bart_Selman" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Michael_Trick" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Henry_Kautz" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Conjunctive_normal_form" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Algorithm" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Satplan" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_planning" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Clause_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/MAX-SAT" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/David_S._Johnson" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Local_search_(optimization)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Automated_theorem_proving" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Local_minimum" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_satisfiability_problem" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "local search algorithm solving boolean satisfiability" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Citation" } ] } ,
  "http://dbpedia.org/resource/Boolean_satisfiability_problem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/Algorithmic_Lov\u00E1sz_local_lemma" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/Boolean_satisfiability_algorithm_heuristics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] } ,
  "http://dbpedia.org/resource/MaxWalkSat" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/WalkSAT" } ] }
}