Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag satisfiability - Questa è pagina 46 - GeneraCodice
Formule per le quali qualsiasi formula CNF equivalente ha una lunghezza esponenziale
https://www.generacodice.com/it/articolo/1489278/formule-per-le-quali-qualsiasi-formula-cnf-equivalente-ha-una-lunghezza-esponenziale
satisfiability
cs.stackexchange
Complessità del problema (SAT a 3-Sat)?
https://www.generacodice.com/it/articolo/1467968/complessita-del-problema-sat-a-3-sat
complexity-theory
-
satisfiability
-
decision-problem
-
complexity-classes
cs.stackexchange
È Min o Max-True-2-Xor-Sat-Hard?
https://www.generacodice.com/it/articolo/1467843/e-min-o-max-true-2-xor-sat-hard
complexity-theory
-
satisfiability
-
np-hard
cs.stackexchange
3-Sat in cui le variabili si verificano altrettanto volte come un letterale positivo e come letterale negativo
https://www.generacodice.com/it/articolo/1467821/3-sat-in-cui-le-variabili-si-verificano-altrettanto-volte-come-un-letterale-positivo-e-come-letterale-negativo
complexity-theory
-
np-complete
-
satisfiability
-
decision-problem
cs.stackexchange
Complessità di decidere la soddisfazione di una formula CNF quasi-monotone
https://www.generacodice.com/it/articolo/1467182/complessita-di-decidere-la-soddisfazione-di-una-formula-cnf-quasi-monotone
complexity-theory
-
np-complete
-
satisfiability
-
decision-problem
cs.stackexchange
Disegnare un grafico di implicazioni per le clausole a 2 sacchetti
https://www.generacodice.com/it/articolo/1466589/disegnare-un-grafico-di-implicazioni-per-le-clausole-a-2-sacchetti
complexity-theory
-
logic
-
satisfiability
cs.stackexchange
Ottimizzazione sat / cnf
https://www.generacodice.com/it/articolo/1422577/ottimizzazione-sat-cnf
algorithm
-
optimization
-
linear-programming
-
satisfiability
StackOverflow
Casi speciali di SAT e corrispondenti #SAT con complessità al massimo O (n ^ 2) AND che hanno algoritmi efficienti per la generazione di istanze?
https://www.generacodice.com/it/articolo/1395356/casi-speciali-di-sat-e-corrispondenti-sat-con-complessita-al-massimo-o-n-2-and-che-hanno-algoritmi-efficienti-per-la-generazione-di-istanze
logic
-
enumeration
-
counting
-
satisfiability
-
time-complexity
StackOverflow
Convertire una formula 2-SAT in un grafo delle implicazioni
https://www.generacodice.com/it/articolo/1148591/convertire-una-formula-2-sat-in-un-grafo-delle-implicazioni
complexity-theory
-
satisfiability
cs.stackexchange
riduzione da ILP a SAT Poly-tempo?
https://www.generacodice.com/it/articolo/1148268/riduzione-da-ilp-a-sat-poly-tempo
np-complete
-
satisfiability
-
reductions
-
integer-programming
cs.stackexchange
«
43
44
45
46
47
48
»
Risultati trovati: 510