About: Chaff algorithm

Chaff is an algorithm for solving instances of the boolean satisfiability problem in programming. It was designed by researchers at Princeton University, USA. The algorithm is an instance of the DPLL algorithm with a number of enhancements for efficient implementation.

Property	Value
dbpprop:abstract	Chaff is an algorithm for solving instances of the boolean satisfiability problem in programming. It was designed by researchers at Princeton University, USA. The algorithm is an instance of the DPLL algorithm with a number of enhancements for efficient implementation.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Chaff_algorithm
dbpprop:reference	http://www.princeton.edu/~chaff/zchaff.html
rdf:type	http://dbpedia.org/class/yago/Algorithms
rdfs:comment	Chaff is an algorithm for solving instances of the boolean satisfiability problem in programming. It was designed by researchers at Princeton University, USA. The algorithm is an instance of the DPLL algorithm with a number of enhancements for efficient implementation.
rdfs:label	Chaff algorithm
owl:sameAs	freebase:Chaff algorithm http://umbel.org/umbel/ne/wikipedia/Chaff_algorithm
skos:subject	dbpedia:Category:Automated_theorem_proving dbpedia:Category:SAT_solvers dbpedia:Category:Boolean_algebra dbpedia:Category:Constraint_satisfaction
foaf:page	http://en.wikipedia.org/wiki/Chaff_algorithm
is dbpprop:disambiguates of	dbpedia:Chaff_(disambiguation)
is dbpprop:redirect of	dbpedia:ZChaff
is owl:sameAs of	yago:Chaff algorithm