| 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. (en)
- 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. (pt)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1690 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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. (en)
- 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. (pt)
|
| rdfs:label
|
- Chaff algorithm (en)
- Algoritmo Chaff (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
