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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n25http://commons.dbpedia.org/resource/Category:
n13http://portal.acm.org/
dbpedia-eshttp://es.dbpedia.org/resource/
n33http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-srhttp://sr.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n8http://fr.dbpedia.org/resource/Modèle:
n31http://babelnet.org/rdf/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
n32http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n24https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.dbpedia.org/resource/
n17http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n28http://www.cril.univ-artois.fr/~jabbour/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
dbpedia-nlhttp://nl.dbpedia.org/resource/
n29http://people.irisa.fr/Francois.Schwarzentruber/dpll_demo/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Algorithme_DPLL
rdfs:label
DPLL алгоритм DPLL algorithm DPLLアルゴリズム DPLL Algorithme DPLL
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].
rdfs:seeAlso
n24:Davis-Putnam-Logemann-Loveland_algorithm
owl:sameAs
dbpedia-ru:DPLL dbpedia-sr:ДПЛЛ_алгоритам dbr:DPLL_algorithm n17:143936061 dbpedia-es:Algoritmo_DPLL dbpedia-uk:DPLL_алгоритм dbpedia-zh:DPLL算法 dbpedia-ja:DPLLアルゴリズム dbpedia-pt:Algoritmo_DPLL wikidata:Q2030088 n25:Davis-Putnam-Logemann-Loveland_algorithm dbpedia-fa:الگوریتم_DPLL dbpedia-nl:DPLL-algoritme dbpedia-it:DPLL n31:s02106418n n33:080fyp
dbo:wikiPageID
5896901
dbo:wikiPageRevisionID
174171428
dbo:wikiPageWikiLink
dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Martin_Davis dbpedia-fr:Calcul_des_propositions category-fr:Algorithme dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Journal_of_the_ACM dbpedia-fr:Récursivité dbpedia-fr:Planification_(intelligence_artificielle) dbpedia-fr:Littéral_(logique) dbpedia-fr:Diagnostic_(intelligence_artificielle) dbpedia-fr:Forme_normale_conjonctive dbpedia-fr:Communications_of_the_ACM dbpedia-fr:Démonstration_automatique_de_théorèmes dbpedia-fr:Satisfiability_modulo_theories dbpedia-fr:Propagation_unitaire dbpedia-fr:Satisfaisabilité dbpedia-fr:Vérification_de_modèles dbpedia-fr:Propagation_de_contraintes dbpedia-fr:Règle_de_résolution dbpedia-fr:Complexité_des_preuves dbpedia-fr:Retour_sur_trace dbpedia-fr:Retour_sur_trace_non_chronologique dbpedia-fr:Algorithme_de_Davis-Putnam dbpedia-fr:Problème_SAT dbpedia-fr:Structure_de_données dbpedia-fr:Problème_NP-complet dbpedia-fr:Hilary_Putnam dbpedia-fr:Valeur_de_vérité
dbo:wikiPageExternalLink
n28:manysat.htm n29:%7Ctitre=D%C3%A9monstration n13:citation.cfm%3Fdoid=368273.368557 n13:citation.cfm%3Fcoll=GUIDE&dl=GUIDE&id=321034
dbo:wikiPageLength
10880
dct:subject
category-fr:Algorithme
prop-fr:wikiPageUsesTemplate
n8:Lien n8:Lien_web n8:Référence_nécessaire n8:Portail n8:Article n8:, n8:P. n32:Référence n8:Handbook_of_practical_logic_and_automated_reasoning
prov:wasDerivedFrom
wikipedia-fr:Algorithme_DPLL?oldid=174171428&ns=0
prop-fr:année
1998 1962 1960
prop-fr:doi
10.1145 10.1016
prop-fr:fr
GRASP_ zChaff Donald Loveland
prop-fr:journal
dbpedia-fr:Communications_of_the_ACM Discrete Applied Mathematics dbpedia-fr:Journal_of_the_ACM
prop-fr:langue
en
prop-fr:lienAuteur
Martin Davis
prop-fr:nom
Davis Ouyang
prop-fr:numéro
3 1 7
prop-fr:pages
394 201 281
prop-fr:prénom
Martin Ming
prop-fr:site
Institut de Recherche en Informatique et Systèmes Aléatoires
prop-fr:texte
le solveur SAT GRASP Chaff et zChaff
prop-fr:titre
How Good Are Branching Rules in DPLL? A Computing Procedure for Quantification Theory A Machine Program for Theorem Proving
prop-fr:trad
GRASP_ Donald W. Loveland
prop-fr:url
n13:citation.cfm%3Fcoll=GUIDE&dl=GUIDE&id=321034 n13:citation.cfm%3Fdoid=368273.368557 http://people.irisa.fr/Francois.Schwarzentruber/dpll_demo/|titre=Démonstration pédagogique de l'algorithme DPLL
prop-fr:volume
5 7 89
prop-fr:coauteurs
dbpedia-fr:Hilary_Putnam Logemann, George, and Loveland, Donald
foaf:isPrimaryTopicOf
wikipedia-fr:Algorithme_DPLL
dbo:namedAfter
wikidata:Q21818065 dbpedia-fr:Hilary_Putnam dbpedia-fr:Martin_Davis wikidata:Q5295258
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].
dbo:author
wikidata:Q5295258 dbpedia-fr:Hilary_Putnam wikidata:Q21818065 dbpedia-fr:Martin_Davis