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.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Chaff algorithm (en)
- Algoritmo Chaff (pt)
|
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)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has 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)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is Wikipage disambiguates
of | |
is foaf:primaryTopic
of | |