About: dbpedia-fr:Problème

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Problème_SAT Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	مسألة قابلية الإرضاء المنطقية (ar) Erfüllbarkeitsproblem der Aussagenlogik (de) Problème SAT (fr) Soddisfacibilità booleana (it) Задача выполнимости булевых формул (ru) Задача здійсненності булевих формул (uk) 布尔可满足性问题 (zh)
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)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Boolean_satisfiability_problem
sameAs	dbr:Boolean_satisfiability_problem wikidata:Q875276 dbpedia-ar:مسألة_قابلية_الإرضاء_المنطقية dbpedia-ca:Problema_de_satisfacibilitat_booleana dbpedia-cs:Problém_splnitelnosti_booleovské_formule dbpedia-de:Erfüllbarkeitsproblem_der_Aussagenlogik dbpedia-eo:Bulea_plenumebloproblemo dbpedia-es:Problema_de_satisfacibilidad_booleana dbpedia-fa:مسئله_صدق‌پذیری_بولی dbpedia-he:בעיית_הספיקות dbpedia-it:Soddisfacibilità_booleana dbpedia-ja:充足可能性問題 dbpedia-ko:충족_가능성_문제 dbpedia-nl:Vervulbaarheidsprobleem dbpedia-pl:Problem_spełnialności dbpedia-pt:Problema_de_satisfatibilidade_booliana dbpedia-ru:Задача_выполнимости_булевых_формул dbpedia-sh:SAT_problem dbpedia-simple:Boolean_satisfiability_problem dbpedia-sr:САТ_проблем dbpedia-th:ปัญหาความสอดคล้องแบบบูล dbpedia-uk:Задача_здійсненності_булевих_формул dbpedia-zh:布尔可满足性问题 http://g.co/kg/m/01hmj http://ma-graph.org/entity/6943359
Wikipage page ID	83075 (xsd:integer)
Wikipage revision ID	187183298 (xsd:integer)
dbo:wikiPageWikiLink	DPLL algorithm Davis–Putnam algorithm Kosaraju's algorithm Tarjan's strongly connected components algorithm Binary tree Boolean data type Propositional calculus First-order logic category-fr:Problème_NP-complet dbpedia-fr:Christos_Papadimitriou Horn clause Strongly connected component dbpedia-fr:Diagnostic_(intelligence_artificielle) dbpedia-fr:Disjonction_logique dbpedia-fr:Ensemble Search space dbpedia-fr:Forme_normale_conjonctive dbpedia-fr:Formule_booléenne_quantifiée dbpedia-fr:Graphe_orienté dbpedia-fr:Hilary_Putnam Theoretical computer science Artificial intelligence dbpedia-fr:L_(complexité) Literal (mathematical logic) dbpedia-fr:Logique_d'ordre_supérieur dbpedia-fr:Logique_et_raisonnement_mathématique dbpedia-fr:Logique_modale NP-hardness dbpedia-fr:P_(complexité) Automated planning and scheduling dbpedia-fr:Problème_2-SAT dbpedia-fr:Problème_3-SAT dbpedia-fr:Problème_NP-complet dbpedia-fr:Problème_P_≟_NP dbpedia-fr:Problème_de_décision dbpedia-fr:Problème_de_satisfaction_de_contraintes dbpedia-fr:Réduction_polynomiale Satisfiability Satisfiability modulo theories dbpedia-fr:Stephen_Cook Truth table dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Théorème_de_Cook dbpedia-fr:Vérification_de_modèles Martin Davis (mathematician) dbpedia-fr:P-complet
Link from a Wikipage to an external page	http://satassociation.org/articles/FAIA185-0003.pdf http://www.satcompetition.org/%7C http://cacm.acm.org/magazines/2009/8/34498-boolean-satisfiability-from-theoretical-hardness-to-practical-success/fulltext http://www.cril.univ-artois.fr/~roussel/satgame/satgame.php%3Flevel=5&lang=fr
page length (characters) of wiki page	35331 (xsd:nonNegativeInteger)
dct:subject	category-fr:Problème_NP-complet
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Référence_nécessaire dbpedia-fr:Modèle:Palette_21_problèmes_NP-complets_de_Karp dbpedia-fr:Modèle:Cori-Lascar_I

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software