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 46 - GeneraCodice
Fórmulas para las cuales cualquier fórmula CNF equivalente tiene una longitud exponencial
https://www.generacodice.com/es/articolo/1489278/formulas-para-las-cuales-cualquier-formula-cnf-equivalente-tiene-una-longitud-exponencial
satisfiability
cs.stackexchange
¿Complejidad del problema (SAT a 3-SAT)?
https://www.generacodice.com/es/articolo/1467968/complejidad-del-problema-sat-a-3-sat
complexity-theory
-
satisfiability
-
decision-problem
-
complexity-classes
cs.stackexchange
¿Es Min o Max-TRUE-2-XOR-SAT NP-Hard?
https://www.generacodice.com/es/articolo/1467843/es-min-o-max-true-2-xor-sat-np-hard
complexity-theory
-
satisfiability
-
np-hard
cs.stackexchange
3-SAT donde las variables ocurren igualmente muchas veces como un literal positivo y como un literal negativo
https://www.generacodice.com/es/articolo/1467821/3-sat-donde-las-variables-ocurren-igualmente-muchas-veces-como-un-literal-positivo-y-como-un-literal-negativo
complexity-theory
-
np-complete
-
satisfiability
-
decision-problem
cs.stackexchange
Complejidad de decidir la satisfiabilidad de una fórmula CNF cuasi-monótona
https://www.generacodice.com/es/articolo/1467182/complejidad-de-decidir-la-satisfiabilidad-de-una-formula-cnf-cuasi-monotona
complexity-theory
-
np-complete
-
satisfiability
-
decision-problem
cs.stackexchange
Dibujando un gráfico de implicación para cláusulas de 2-sat
https://www.generacodice.com/es/articolo/1466589/dibujando-un-grafico-de-implicacion-para-clausulas-de-2-sat
complexity-theory
-
logic
-
satisfiability
cs.stackexchange
Optimización SAT/CNF
https://www.generacodice.com/es/articolo/1422577/optimizacion-sat-cnf
algorithm
-
optimization
-
linear-programming
-
satisfiability
StackOverflow
¿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
«
43
44
45
46
47
48
»
Resultados encontrados: 510