| Property |
Value |
| dbo:abstract
|
- En informatique, l'algorithme de Davis–Putnam–Logemann–Loveland (DPLL) est un algorithme de backtracking, complet, de résolution du problème SAT. Le problème SAT est un problème important à la fois d'un point de vue théorique, en particulier en théorie de la complexité où il est le premier problème prouvé NP-complet et pratique puisqu'il peut apparaître lors de la résolution de problèmes de planification classique, model checking, ou encore diagnostic et jusqu'au configurateur d'un PC ou de son système d'exploitation[réf. nécessaire]. (fr)
- En informatique, l'algorithme de Davis–Putnam–Logemann–Loveland (DPLL) est un algorithme de backtracking, complet, de résolution du problème SAT. Le problème SAT est un problème important à la fois d'un point de vue théorique, en particulier en théorie de la complexité où il est le premier problème prouvé NP-complet et pratique puisqu'il peut apparaître lors de la résolution de problèmes de planification classique, model checking, ou encore diagnostic et jusqu'au configurateur d'un PC ou de son système d'exploitation[réf. nécessaire]. (fr)
|
| dbo:author
| |
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10880 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1960 (xsd:integer)
- 1962 (xsd:integer)
- 1998 (xsd:integer)
|
| prop-fr:coauteurs
| |
| prop-fr:doi
|
- 10.101600 (xsd:double)
- 10.114500 (xsd:double)
|
| prop-fr:fr
|
- Donald Loveland (fr)
- GRASP_ (fr)
- zChaff (fr)
- Donald Loveland (fr)
- GRASP_ (fr)
- zChaff (fr)
|
| prop-fr:journal
| |
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- Martin Davis (fr)
- Martin Davis (fr)
|
| prop-fr:nom
|
- Davis (fr)
- Ouyang (fr)
- Davis (fr)
- Ouyang (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 3 (xsd:integer)
- 7 (xsd:integer)
|
| prop-fr:pages
|
- 201 (xsd:integer)
- 281 (xsd:integer)
- 394 (xsd:integer)
|
| prop-fr:prénom
|
- Martin (fr)
- Ming (fr)
- Martin (fr)
- Ming (fr)
|
| prop-fr:site
|
- Institut de Recherche en Informatique et Systèmes Aléatoires (fr)
- Institut de Recherche en Informatique et Systèmes Aléatoires (fr)
|
| prop-fr:texte
|
- Chaff et zChaff (fr)
- le solveur SAT GRASP (fr)
- Chaff et zChaff (fr)
- le solveur SAT GRASP (fr)
|
| prop-fr:titre
|
- A Computing Procedure for Quantification Theory (fr)
- A Machine Program for Theorem Proving (fr)
- How Good Are Branching Rules in DPLL? (fr)
- A Computing Procedure for Quantification Theory (fr)
- A Machine Program for Theorem Proving (fr)
- How Good Are Branching Rules in DPLL? (fr)
|
| prop-fr:trad
|
- Donald W. Loveland (fr)
- GRASP_ (fr)
- Donald W. Loveland (fr)
- GRASP_ (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 5 (xsd:integer)
- 7 (xsd:integer)
- 89 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En informatique, l'algorithme de Davis–Putnam–Logemann–Loveland (DPLL) est un algorithme de backtracking, complet, de résolution du problème SAT. Le problème SAT est un problème important à la fois d'un point de vue théorique, en particulier en théorie de la complexité où il est le premier problème prouvé NP-complet et pratique puisqu'il peut apparaître lors de la résolution de problèmes de planification classique, model checking, ou encore diagnostic et jusqu'au configurateur d'un PC ou de son système d'exploitation[réf. nécessaire]. (fr)
- En informatique, l'algorithme de Davis–Putnam–Logemann–Loveland (DPLL) est un algorithme de backtracking, complet, de résolution du problème SAT. Le problème SAT est un problème important à la fois d'un point de vue théorique, en particulier en théorie de la complexité où il est le premier problème prouvé NP-complet et pratique puisqu'il peut apparaître lors de la résolution de problèmes de planification classique, model checking, ou encore diagnostic et jusqu'au configurateur d'un PC ou de son système d'exploitation[réf. nécessaire]. (fr)
|
| rdfs:label
|
- Algorithme DPLL (fr)
- DPLL (ru)
- DPLL algorithm (en)
- DPLL алгоритм (uk)
- DPLLアルゴリズム (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:isPartOf
of | |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:renomméPour
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
