Española
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artículos completos
Categorías
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Usted escribe
Usuario
Acceso
Registro
Recuperación de contraseña
Etiquetas
Etiquetas de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Etiqueta satisfiability - Esta es la página 47 - GeneraCodice
¿Casos especiales de SAT y #SAT correspondiente con una complejidad mayor a O (n ^ 2) Y que tienen algoritmos eficientes para generar instancias?
https://www.generacodice.com/es/articolo/1395356/casos-especiales-de-sat-y-sat-correspondiente-con-una-complejidad-mayor-a-o-n-2-y-que-tienen-algoritmos-eficientes-para-generar-instancias
logic
-
enumeration
-
counting
-
satisfiability
-
time-complexity
StackOverflow
Convertir una fórmula de 2 sat en un gráfico de implicación
https://www.generacodice.com/es/articolo/1148591/convertir-una-formula-de-2-sat-en-un-grafico-de-implicacion
complexity-theory
-
satisfiability
cs.stackexchange
¿Reducción del tiempo de poli de ILP a SAT?
https://www.generacodice.com/es/articolo/1148268/reduccion-del-tiempo-de-poli-de-ilp-a-sat
np-complete
-
satisfiability
-
reductions
-
integer-programming
cs.stackexchange
Convertir $ sum x_i = y $ a 3-sat
https://www.generacodice.com/es/articolo/1127780/convertir-sum-x-i-y-a-3-sat
satisfiability
-
sat-solvers
cs.stackexchange
Complejidad de decidir si una fórmula tiene exactamente 1 asignación satisfactoria
https://www.generacodice.com/es/articolo/1126649/complejidad-de-decidir-si-una-formula-tiene-exactamente-1-asignacion-satisfactoria
complexity-theory
-
satisfiability
-
complexity-classes
cs.stackexchange
Es el siguiente Langauge en $ P $ o $ NPC $
https://www.generacodice.com/es/articolo/1124222/es-el-siguiente-langauge-en-p-o-npc
complexity-theory
-
np-complete
-
satisfiability
-
time-complexity
-
3-sat
cs.stackexchange
Modelando el problema de encontrar todos los conjuntos estables de un marco de argumentación como SAT
https://www.generacodice.com/es/articolo/1123045/modelando-el-problema-de-encontrar-todos-los-conjuntos-estables-de-un-marco-de-argumentacion-como-sat
complexity-theory
-
np-complete
-
satisfiability
-
time-complexity
-
algorithms
cs.stackexchange
La conversión de (matemáticas) problemas al SAT instancias
https://www.generacodice.com/es/articolo/1122995/la-conversion-de-matematicas-problemas-al-sat-instancias
satisfiability
-
algorithms
-
reductions
cs.stackexchange
Demuestre que la satisfacción de decidir la satisfilidad de la fórmula booleana monótona
https://www.generacodice.com/es/articolo/1121985/demuestre-que-la-satisfaccion-de-decidir-la-satisfilidad-de-la-formula-booleana-monotona
complexity-theory
-
np-complete
-
satisfiability
cs.stackexchange
Límites asintóticos en el número de fórmulas 3SAT con soluciones únicas
https://www.generacodice.com/es/articolo/1121443/limites-asintoticos-en-el-numero-de-formulas-3sat-con-soluciones-unicas
complexity-theory
-
np-complete
-
satisfiability
-
reference-request
cs.stackexchange
«
44
45
46
47
48
49
»
Resultados encontrados: 510