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 sat-solvers - Questa è pagina 4 - GeneraCodice
Traduzione del problema della diagnosi in sabato
https://www.generacodice.com/it/articolo/1612881/traduzione-del-problema-della-diagnosi-in-sabato
logic
-
satisfiability
-
sat-solvers
cs.stackexchange
Complessità a grana fine della valutazione della formula 3-CNF
https://www.generacodice.com/it/articolo/1609047/complessita-a-grana-fine-della-valutazione-della-formula-3-cnf
satisfiability
-
time-complexity
-
sat-solvers
-
3-sat
-
decision-problem
cs.stackexchange
Perché non eseguono questi controlli sul numero di clausole in 3-Sat?
https://www.generacodice.com/it/articolo/1605290/perche-non-eseguono-questi-controlli-sul-numero-di-clausole-in-3-sat
satisfiability
-
sat-solvers
-
3-sat
cs.stackexchange
Qualche solver sudoku è un risolutore SAT?
https://www.generacodice.com/it/articolo/1600890/qualche-solver-sudoku-e-un-risolutore-sat
satisfiability
-
sudoku
-
sat-solvers
-
reductions
-
boolean-algebra
cs.stackexchange
Come funziona l'algoritmo DPLL astratto nella risoluzione SAT
https://www.generacodice.com/it/articolo/1600792/come-funziona-l-algoritmo-dpll-astratto-nella-risoluzione-sat
satisfiability
-
sat-solvers
cs.stackexchange
Come un risolutore SMT / SAT genera valutazioni per questo esempio
https://www.generacodice.com/it/articolo/1600778/come-un-risolutore-smt-sat-genera-valutazioni-per-questo-esempio
satisfiability
-
sat-solvers
-
smt-solvers
cs.stackexchange
Contare le soluzioni di un particolare tipo in Horn sat
https://www.generacodice.com/it/articolo/1598582/contare-le-soluzioni-di-un-particolare-tipo-in-horn-sat
counting
-
satisfiability
-
sat-solvers
cs.stackexchange
Ottimizzazioni SAT Solver di DPLL per formule insoddisfabili [duplicato
https://www.generacodice.com/it/articolo/1595891/ottimizzazioni-sat-solver-di-dpll-per-formule-insoddisfabili-duplicato
logic
-
satisfiability
-
sat-solvers
-
algorithms
cs.stackexchange
Se un CNF contiene solo clausole di Horn e XOR, qual è la complessità di determinare la soddisfazione?
https://www.generacodice.com/it/articolo/1591580/se-un-cnf-contiene-solo-clausole-di-horn-e-xor-qual-e-la-complessita-di-determinare-la-soddisfazione
complexity-theory
-
satisfiability
-
time-complexity
-
sat-solvers
cs.stackexchange
Qual è la complessità di determinare la soddisfazione di un CNF contenente clausole di corno e doppio corno?
https://www.generacodice.com/it/articolo/1591382/qual-e-la-complessita-di-determinare-la-soddisfazione-di-un-cnf-contenente-clausole-di-corno-e-doppio-corno
complexity-theory
-
satisfiability
-
time-complexity
-
sat-solvers
cs.stackexchange
«
1
2
3
4
5
6
»
Risultati trovati: 102