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 48 - GeneraCodice
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
Comprensión del algoritmo DPLL
https://www.generacodice.com/es/articolo/1120400/comprension-del-algoritmo-dpll
logic
-
satisfiability
-
sat-solvers
-
algorithms
cs.stackexchange
TAPL: explicación y ejemplo (s) para satisfecho
https://www.generacodice.com/es/articolo/1119413/tapl-explicacion-y-ejemplo-s-para-satisfecho
satisfiability
-
term-rewriting
-
operational-semantics
-
small-step-semantics
cs.stackexchange
¿Por qué Max-2Sat no está en P?
https://www.generacodice.com/es/articolo/1118929/por-que-max-2sat-no-esta-en-p
complexity-theory
-
np-complete
-
satisfiability
cs.stackexchange
Un lenguaje completo denso NP implica p = np
https://www.generacodice.com/es/articolo/1117472/un-lenguaje-completo-denso-np-implica-p-np
complexity-theory
-
np-complete
-
satisfiability
-
time-complexity
cs.stackexchange
Hay a veces-algoritmo eficiente para resolver #SAT?
https://www.generacodice.com/es/articolo/1116613/hay-a-veces-algoritmo-eficiente-para-resolver-sat
complexity-theory
-
satisfiability
-
reference-request
cs.stackexchange
Encontrar $ epsilon '$ st $ l_ epsilon $ es $ mathsf {np} $-duro para cualquier $ epsilon < epsilon' $
https://www.generacodice.com/es/articolo/1111537/encontrar-epsilon-st-l-epsilon-es-mathsf-np-duro-para-cualquier-epsilon-epsilon
complexity-theory
-
satisfiability
-
approximation
cs.stackexchange
Prueba simple de que el problema de satisfilidad del circuito es NP-Hard
https://www.generacodice.com/es/articolo/1110452/prueba-simple-de-que-el-problema-de-satisfilidad-del-circuito-es-np-hard
complexity-theory
-
satisfiability
-
np-hard
-
circuits
cs.stackexchange
«
45
46
47
48
49
50
»
Resultados encontrados: 510