This HTML5 document contains 54 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n20https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n13http://www.princeton.edu/~chaff/publication/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
n10http://www.princeton.edu/~chaff/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Chaff_algorithm
rdf:type
yago:Person100007846 dbo:Software yago:PhysicalEntity100001930 yago:Organism100004475 yago:Thinker110708454 yago:Intellectual109621545 yago:Object100002684 yago:CausalAgent100007347 yago:YagoLegalActor yago:YagoLegalActorGeo yago:LivingThing100004258 yago:ProblemSolver110458111 yago:Whole100003553 yago:WikicatSATSolvers
rdfs:label
Chaff algorithm Algoritmo Chaff
rdfs:comment
Chaff is an algorithm for solving instances of the Boolean satisfiability problem in programming. It was designed by researchers at Princeton University, United States. The algorithm is an instance of the DPLL algorithm with a number of enhancements for efficient implementation. Chaff é um algoritmo para resolver instâncias do Problema de satisfatibilidade booleana em programação. Ele foi desenvolvido por pesquisadores na Universidade de Princeton, Estados Unidos. O algoritmo trouxe melhorias de desempenho ao algoritmo DPLL (Davis-Putnam-Logemann-Loveland ) com um número de realces para uma eficiente.No método Chaff, a parte principal não está baseada em algoritmos sofisticados para a redução do espaço de busca, mas em um desenho bastante eficiente em uma das etapas cruciais do método DPLL: a . É nessa fase que se mostra mais necessário os esforços de otimização.
dcterms:subject
dbc:SAT_solvers dbc:Constraint_programming dbc:Boolean_algebra dbc:Automated_theorem_proving
dbo:wikiPageID
2045930
dbo:wikiPageRevisionID
1046470598
dbo:wikiPageWikiLink
dbc:SAT_solvers dbr:Microsoft_Research dbc:Constraint_programming dbr:DPLL_algorithm dbr:Linux dbc:Boolean_algebra dbr:Boolean_satisfiability_problem dbr:Princeton_University dbr:Download dbc:Automated_theorem_proving dbr:Algorithm
dbo:wikiPageExternalLink
n10:zchaff.html n13:DAC2001v56.pdf
owl:sameAs
freebase:m.06h9pr dbpedia-pt:Algoritmo_Chaff wikidata:Q5066777 n20:4hPVw yago-res:Chaff_algorithm
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:No_footnotes dbt:Cite_journal dbt:Short_description dbt:Clarify_span dbt:Formalmethods-stub
dbo:abstract
Chaff is an algorithm for solving instances of the Boolean satisfiability problem in programming. It was designed by researchers at Princeton University, United States. The algorithm is an instance of the DPLL algorithm with a number of enhancements for efficient implementation. Chaff é um algoritmo para resolver instâncias do Problema de satisfatibilidade booleana em programação. Ele foi desenvolvido por pesquisadores na Universidade de Princeton, Estados Unidos. O algoritmo trouxe melhorias de desempenho ao algoritmo DPLL (Davis-Putnam-Logemann-Loveland ) com um número de realces para uma eficiente.No método Chaff, a parte principal não está baseada em algoritmos sofisticados para a redução do espaço de busca, mas em um desenho bastante eficiente em uma das etapas cruciais do método DPLL: a . É nessa fase que se mostra mais necessário os esforços de otimização.
gold:hypernym
dbr:Algorithm
prov:wasDerivedFrom
wikipedia-en:Chaff_algorithm?oldid=1046470598&ns=0
dbo:wikiPageLength
1690
foaf:isPrimaryTopicOf
wikipedia-en:Chaff_algorithm