| Property |
Value |
| dbo:abstract
|
- En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donnée une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. Ce problème est important en théorie de la complexité. Il a été mis en lumière par le théorème de Cook, qui est à la base de la théorie de la NP-complétude et du problème P = NP. Le problème SAT a aussi de nombreuses applications notamment en satisfaction de contraintes, planification classique, model checking, diagnostic, et jusqu'au configurateur d'un PC ou de son système d'exploitation : on se ramène à des formules propositionnelles et on utilise un solveur SAT. (fr)
- En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donnée une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. Ce problème est important en théorie de la complexité. Il a été mis en lumière par le théorème de Cook, qui est à la base de la théorie de la NP-complétude et du problème P = NP. Le problème SAT a aussi de nombreuses applications notamment en satisfaction de contraintes, planification classique, model checking, diagnostic, et jusqu'au configurateur d'un PC ou de son système d'exploitation : on se ramène à des formules propositionnelles et on utilise un solveur SAT. (fr)
|
| dbo:isPartOf
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 35331 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:auteur
|
- John Martin (fr)
- John Franco (fr)
- Armin Biere (fr)
- Marijn Heule (fr)
- Tobby Walsh (fr)
- John Martin (fr)
- John Franco (fr)
- Armin Biere (fr)
- Marijn Heule (fr)
- Tobby Walsh (fr)
|
| prop-fr:directeur
| |
| prop-fr:fr
|
- Donald Loveland (fr)
- Donald Loveland (fr)
|
| prop-fr:lang
| |
| prop-fr:lireEnLigne
| |
| prop-fr:titre
|
- Handbook of satisfiability (fr)
- The SAT game, un jeu où il s'agit de trouver une valuation qui satisfait une formule booléenne (fr)
- Handbook of satisfiability (fr)
- The SAT game, un jeu où il s'agit de trouver une valuation qui satisfait une formule booléenne (fr)
|
| prop-fr:titreChapitre
|
- Chapter 1: A History of Satisfiability (fr)
- Chapter 1: A History of Satisfiability (fr)
|
| prop-fr:trad
|
- Donald W. Loveland (fr)
- Donald W. Loveland (fr)
|
| prop-fr:url
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- IOS Press (fr)
- IOS Press (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donnée une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. (fr)
- En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donnée une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. (fr)
|
| rdfs:label
|
- مسألة قابلية الإرضاء المنطقية (ar)
- Erfüllbarkeitsproblem der Aussagenlogik (de)
- Problème SAT (fr)
- Soddisfacibilità booleana (it)
- Задача выполнимости булевых формул (ru)
- Задача здійсненності булевих формул (uk)
- 布尔可满足性问题 (zh)
- مسألة قابلية الإرضاء المنطقية (ar)
- Erfüllbarkeitsproblem der Aussagenlogik (de)
- Problème SAT (fr)
- Soddisfacibilità booleana (it)
- Задача выполнимости булевых формул (ru)
- Задача здійсненності булевих формул (uk)
- 布尔可满足性问题 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
