Backjumping - CaLiGraph

CaLiGraph

Property	Value
rdf:type	Search algorithm owl:NamedIndividual
rdfs:label	Backjumping
owl:sameAs	dbr:Backjumping
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Search_algorithms
skos:prefLabel	Backjumping
skos:altLabel	Conflict-directed backjumping backjumping
is clgo:knownFor of	Patrick Prosser

About: clgr:Backjumping