Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag satisfiability - Ceci est la page 47 - GeneraCodice
Cas spéciaux de SAT et #SAT correspondant avec complexité un plus O (n ^ 2) et qui ont des algorithmes efficaces pour générer des instances?
https://www.generacodice.com/fr/articolo/1395356/cas-speciaux-de-sat-et-sat-correspondant-avec-complexite-un-plus-o-n-2-et-qui-ont-des-algorithmes-efficaces-pour-generer-des-instances
logic
-
enumeration
-
counting
-
satisfiability
-
time-complexity
StackOverflow
La conversion d'une formule 2-SAT dans un graphe d'implication
https://www.generacodice.com/fr/articolo/1148591/la-conversion-d-une-formule-2-sat-dans-un-graphe-d-implication
complexity-theory
-
satisfiability
cs.stackexchange
la réduction du temps de Poly ILP SAT?
https://www.generacodice.com/fr/articolo/1148268/la-reduction-du-temps-de-poly-ilp-sat
np-complete
-
satisfiability
-
reductions
-
integer-programming
cs.stackexchange
Convertir \ $ somme x_i = y $ à 3 SAM.
https://www.generacodice.com/fr/articolo/1127780/convertir-somme-x-i-y-a-3-sam
satisfiability
-
sat-solvers
cs.stackexchange
La complexité de décider si une formule a exactement 1 affectation satisfaisant
https://www.generacodice.com/fr/articolo/1126649/la-complexite-de-decider-si-une-formule-a-exactement-1-affectation-satisfaisant
complexity-theory
-
satisfiability
-
complexity-classes
cs.stackexchange
Le langauge suivant $ P $ ou NPC $
https://www.generacodice.com/fr/articolo/1124222/le-langauge-suivant-p-ou-npc
complexity-theory
-
np-complete
-
satisfiability
-
time-complexity
-
3-sat
cs.stackexchange
Modélisation du problème de trouver tous les jeux de la stabilité d'un système d'argumentation comme SAT
https://www.generacodice.com/fr/articolo/1123045/modelisation-du-probleme-de-trouver-tous-les-jeux-de-la-stabilite-d-un-systeme-d-argumentation-comme-sat
complexity-theory
-
np-complete
-
satisfiability
-
time-complexity
-
algorithms
cs.stackexchange
Conversion de problèmes (mathématiques) aux instances SAT
https://www.generacodice.com/fr/articolo/1122995/conversion-de-problemes-mathematiques-aux-instances-sat
satisfiability
-
algorithms
-
reductions
cs.stackexchange
Prouvez NP-complet de décider satisfiability de formule monotones booléenne
https://www.generacodice.com/fr/articolo/1121985/prouvez-np-complet-de-decider-satisfiability-de-formule-monotones-booleenne
complexity-theory
-
np-complete
-
satisfiability
cs.stackexchange
bornes asymptotiques sur le nombre de formules 3sat avec des solutions uniques
https://www.generacodice.com/fr/articolo/1121443/bornes-asymptotiques-sur-le-nombre-de-formules-3sat-avec-des-solutions-uniques
complexity-theory
-
np-complete
-
satisfiability
-
reference-request
cs.stackexchange
«
44
45
46
47
48
49
»
Résultats trouvés: 510