About: Backjumping

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

In backtracking algorithms, technique that reduces search space

Property	Value
dbo:description	in backtracking algorithms, technique that reduces search space (en) tecnica per ridurre lo spazio di ricerca (e quindi incrementare l'efficienza) negli algoritmi basati su backtracking (it)
dbo:thumbnail	wiki-commons:Special:FilePath/Backtracking-with-backjumping.svg?width=300
dbo:wikiPageExternalLink	http://cse.unl.edu/~choueiry/Documents/Hybrid-Prosser.pdf https://archive.org/details/constraintproces00rina
dbo:wikiPageWikiLink	dbr:Backtracking dbc:Search_algorithms dbr:Recursion dbr:Search_tree dbr:Algorithm dbr:Patrick_Prosser dbc:Constraint_programming dbr:Constraint_learning dbr:Constraint_satisfaction dbr:Candidate_solution dbr:Constraint_Satisfaction_Problems dbr:File:Backjump-collect.svg dbr:File:Backjump-ignored.svg dbr:File:Backjump-variables-1.svg dbr:File:Backjump-variables-2.svg dbr:File:Backjump-variables-3.svg dbr:File:Dead-ends-1.svg dbr:File:Dead-ends-1a.svg dbr:File:Dead-ends-2.svg dbr:File:Dead-ends-3.svg
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:Nf dbt:A.k.a. dbt:Short_description
dct:subject	dbc:Search_algorithms dbc:Constraint_programming
rdfs:label	Backjumping (en) Backjumping (es) Retour sur trace non chronologique (fr) Зворотний перехід (uk)
owl:sameAs	yago-res:Backjumping freebase:Backjumping wikidata:Backjumping dbpedia-fr:Backjumping dbpedia-es:Backjumping dbpedia-fa:Backjumping dbpedia-sr:Backjumping dbpedia-uk:Backjumping dbpedia-global:Backjumping
prov:wasDerivedFrom	wikipedia-en:Backjumping?oldid=1256092907&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Backjump-collect.svg wiki-commons:Special:FilePath/Backjump-ignored.svg wiki-commons:Special:FilePath/Backjump-variables-1.svg wiki-commons:Special:FilePath/Backjump-variables-2.svg wiki-commons:Special:FilePath/Backjump-variables-3.svg wiki-commons:Special:FilePath/Backtracking-no-backjumping.svg wiki-commons:Special:FilePath/Backtracking-with-backjumping.svg wiki-commons:Special:FilePath/Dead-ends-1.svg wiki-commons:Special:FilePath/Dead-ends-1a.svg wiki-commons:Special:FilePath/Dead-ends-2.svg wiki-commons:Special:FilePath/Dead-ends-3.svg
foaf:isPrimaryTopicOf	wikipedia-en:Backjumping
is dbo:knownFor of	dbr:Patrick_Prosser
is dbo:wikiPageRedirects of	dbr:Graph-based_backjumping dbr:Conflict-based_backjumping
is dbo:wikiPageWikiLink of	dbr:Backtracking dbr:Hybrid_algorithm_(constraint_satisfaction) dbr:Constraint_satisfaction_problem dbr:Local_consistency dbr:SAT_solver dbr:Patrick_Prosser dbr:DPLL_algorithm dbr:Constraint_learning dbr:Graph-based_backjumping dbr:Conflict-based_backjumping
is dbp:knownFor of	dbr:Patrick_Prosser
is foaf:primaryTopic of	wikipedia-en:Backjumping