Tag constraint-satisfaction - Questa è pagina 4 - GeneraCodice

Sabato non booleano

https://www.generacodice.com/it/articolo/1620639/sabato-non-booleano
  constraint-satisfaction  -  sat-solvers  -  algorithms  -  propositional-logic
cs.stackexchange cs.stackexchange

Condizione "maggiore di e più piccola di" nel programma lineare intero con una variabile binaria

https://www.generacodice.com/it/articolo/1616246/condizione-maggiore-di-e-piu-piccola-di-nel-programma-lineare-intero-con-una-variabile-binaria
  linear-programming  -  constraint-satisfaction  -  integer-programming
cs.stackexchange cs.stackexchange

Somma di numeri interi unici al vincolo CNF

https://www.generacodice.com/it/articolo/1615990/somma-di-numeri-interi-unici-al-vincolo-cnf
  java  -  constraint-satisfaction  -  sat-solvers
cs.stackexchange cs.stackexchange

Vincolo di propagazione utilizzando la regola di Proiezione

https://www.generacodice.com/it/articolo/1615255/vincolo-di-propagazione-utilizzando-la-regola-di-proiezione
  constraint-programming  -  constraint-satisfaction
cs.stackexchange cs.stackexchange

Algoritmo SAT per determinare se un grafico è disgiunta

https://www.generacodice.com/it/articolo/1615140/algoritmo-sat-per-determinare-se-un-grafico-e-disgiunta
  satisfiability  -  constraint-satisfaction  -  graphs
cs.stackexchange cs.stackexchange

Come mettere elementi in borse consentite?

https://www.generacodice.com/it/articolo/1613515/come-mettere-elementi-in-borse-consentite
  terminology  -  constraint-satisfaction  -  algorithms  -  knapsack-problems
cs.stackexchange cs.stackexchange

Come calcolare il numero di stringhe non valide dato un sistema di vincoli su alfabeto, lista nera e lunghezza della stringa

https://www.generacodice.com/it/articolo/1612549/come-calcolare-il-numero-di-stringhe-non-valide-dato-un-sistema-di-vincoli-su-alfabeto-lista-nera-e-lunghezza-della-stringa
  discrete-mathematics  -  constraint-satisfaction  -  algorithms
cs.stackexchange cs.stackexchange

Questo problema è simile alla programmazione lineare interi anche un problema di completamento NP?

https://www.generacodice.com/it/articolo/1611572/questo-problema-e-simile-alla-programmazione-lineare-interi-anche-un-problema-di-completamento-np
  np-complete  -  constraint-satisfaction  -  integer-programming
cs.stackexchange cs.stackexchange

Risolvere un problema di vincolo in/uguaglianza con la ricerca del grafico

https://www.generacodice.com/it/articolo/1609811/risolvere-un-problema-di-vincolo-in-uguaglianza-con-la-ricerca-del-grafico
  graph-traversal  -  constraint-satisfaction  -  graphs
cs.stackexchange cs.stackexchange

Sortendo le stringhe con vincoli "prima" e "dopo"

https://www.generacodice.com/it/articolo/1609191/sortendo-le-stringhe-con-vincoli-prima-e-dopo
  sorting  -  constraint-satisfaction
cs.stackexchange cs.stackexchange
Risultati trovati: 126
scroll top