Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Chaff_algorithm> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- Chaff_algorithm 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.".
- Chaff_algorithm wikiPageExternalLink DAC2001v56.pdf.
- Chaff_algorithm wikiPageExternalLink zchaff.html.
- Chaff_algorithm wikiPageID "2045930".
- Chaff_algorithm wikiPageRevisionID "481480548".
- Chaff_algorithm hasPhotoCollection Chaff_algorithm.
- Chaff_algorithm subject Category:Automated_theorem_proving.
- Chaff_algorithm subject Category:Boolean_algebra.
- Chaff_algorithm subject Category:Constraint_programming.
- Chaff_algorithm subject Category:SAT_solvers.
- Chaff_algorithm type CausalAgent100007347.
- Chaff_algorithm type Intellectual109621545.
- Chaff_algorithm type LivingThing100004258.
- Chaff_algorithm type Object100002684.
- Chaff_algorithm type Organism100004475.
- Chaff_algorithm type Person100007846.
- Chaff_algorithm type PhysicalEntity100001930.
- Chaff_algorithm type ProblemSolver110458111.
- Chaff_algorithm type SATSolvers.
- Chaff_algorithm type Thinker110708454.
- Chaff_algorithm type Whole100003553.
- Chaff_algorithm type YagoLegalActor.
- Chaff_algorithm type YagoLegalActorGeo.
- Chaff_algorithm 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.".
- Chaff_algorithm label "Algoritmo Chaff".
- Chaff_algorithm label "Chaff algorithm".
- Chaff_algorithm sameAs Algoritmo_Chaff.
- Chaff_algorithm sameAs m.06h9pr.
- Chaff_algorithm sameAs Q5066777.
- Chaff_algorithm sameAs Q5066777.
- Chaff_algorithm sameAs Chaff_algorithm.
- Chaff_algorithm wasDerivedFrom Chaff_algorithm?oldid=481480548.
- Chaff_algorithm isPrimaryTopicOf Chaff_algorithm.