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 constraint-satisfaction - Questa è pagina 12 - GeneraCodice
Variante problema di riduzione della CNF-Sat
https://www.generacodice.com/it/articolo/1565060/variante-problema-di-riduzione-della-cnf-sat
np-complete
-
satisfiability
-
constraint-satisfaction
-
reductions
cs.stackexchange
Contrastare con tre variabili in tre vincoli binari
https://www.generacodice.com/it/articolo/1546633/contrastare-con-tre-variabili-in-tre-vincoli-binari
constraint-satisfaction
cs.stackexchange
Il dominio di una variabile non è altro che un vincolo?
https://www.generacodice.com/it/articolo/1545793/il-dominio-di-una-variabile-non-e-altro-che-un-vincolo
type-theory
-
typing
-
constraint-programming
-
constraint-satisfaction
-
curry-howard
cs.stackexchange
Perché i solutori SAT moderni non usano la nozione di una "clausola osservata", allo stesso modo in cui usano la nozione di "vigile letterale"?
https://www.generacodice.com/it/articolo/1545147/perche-i-solutori-sat-moderni-non-usano-la-nozione-di-una-clausola-osservata-allo-stesso-modo-in-cui-usano-la-nozione-di-vigile-letterale
satisfiability
-
constraint-satisfaction
-
sat-solvers
cs.stackexchange
Richiedendo che almeno un vincolo di Alldiff sia soddisfatto convertito in SAT
https://www.generacodice.com/it/articolo/1544567/richiedendo-che-almeno-un-vincolo-di-alldiff-sia-soddisfatto-convertito-in-sat
constraint-programming
-
constraint-satisfaction
-
modelling
cs.stackexchange
Aiuto con la comprensione dell'algoritmo di ricottura simulato
https://www.generacodice.com/it/articolo/1543382/aiuto-con-la-comprensione-dell-algoritmo-di-ricottura-simulato
constraint-satisfaction
cs.stackexchange
Costruire un problema di calendario con molte variabili
https://www.generacodice.com/it/articolo/1446895/costruire-un-problema-di-calendario-con-molte-variabili
python
-
constraints
-
resource-scheduling
-
timetable
-
constraint-satisfaction
StackOverflow
Vincolo Soddisfazione: Scegliere i numeri reali con determinate caratteristiche
https://www.generacodice.com/it/articolo/859960/vincolo-soddisfazione-scegliere-i-numeri-reali-con-determinate-caratteristiche
algorithm
-
statistics
-
constraint-programming
-
constraint-satisfaction
StackOverflow
Quali sono le differenze tra la ricottura simulata e algoritmi genetici?
https://www.generacodice.com/it/articolo/742694/quali-sono-le-differenze-tra-la-ricottura-simulata-e-algoritmi-genetici
artificial-intelligence
-
genetic-algorithm
-
simulated-annealing
-
constraint-satisfaction
StackOverflow
Vincoli Java Library (JCL) problema: come rappresentare oltre?
https://www.generacodice.com/it/articolo/437949/vincoli-java-library-jcl-problema-come-rappresentare-oltre
constraints
-
constraint-programming
-
constraint-satisfaction
StackOverflow
«
8
9
10
11
12
13
»
Risultati trovati: 126