Etiqueta constraint-satisfaction - Esta es la página 12 - GeneraCodice

CNF-SAT reduction problem variant

https://www.generacodice.com/es/articolo/1565060/cnf-sat-reduction-problem-variant
  np-complete  -  satisfiability  -  constraint-satisfaction  -  reductions
cs.stackexchange cs.stackexchange

Contraint with three variables into three binary constraints

https://www.generacodice.com/es/articolo/1546633/contraint-with-three-variables-into-three-binary-constraints
  constraint-satisfaction
cs.stackexchange cs.stackexchange

Isn't Domain of a variable nothing but a constraint?

https://www.generacodice.com/es/articolo/1545793/isn-t-domain-of-a-variable-nothing-but-a-constraint
  type-theory  -  typing  -  constraint-programming  -  constraint-satisfaction  -  curry-howard
cs.stackexchange cs.stackexchange

Why don't modern SAT solvers use the notion of a “watched clause”, in the same way they use the notion of a “watched literal”?

https://www.generacodice.com/es/articolo/1545147/why-don-t-modern-sat-solvers-use-the-notion-of-a-watched-clause-in-the-same-way-they-use-the-notion-of-a-watched-literal
  satisfiability  -  constraint-satisfaction  -  sat-solvers
cs.stackexchange cs.stackexchange

Requiring at least one alldiff constraint to be satisfied converted to SAT

https://www.generacodice.com/es/articolo/1544567/requiring-at-least-one-alldiff-constraint-to-be-satisfied-converted-to-sat
  constraint-programming  -  constraint-satisfaction  -  modelling
cs.stackexchange cs.stackexchange

Help with understanding Simulated Annealing algorithm

https://www.generacodice.com/es/articolo/1543382/help-with-understanding-simulated-annealing-algorithm
  constraint-satisfaction
cs.stackexchange cs.stackexchange

Construyendo problema de horario con muchas variables

https://www.generacodice.com/es/articolo/1446895/construyendo-problema-de-horario-con-muchas-variables
  python  -  constraints  -  resource-scheduling  -  timetable  -  constraint-satisfaction
StackOverflow StackOverflow

Satisfacción de Restricciones: La elección de los números reales con ciertas características

https://www.generacodice.com/es/articolo/859960/satisfaccion-de-restricciones-la-eleccion-de-los-numeros-reales-con-ciertas-caracteristicas
  algorithm  -  statistics  -  constraint-programming  -  constraint-satisfaction
StackOverflow StackOverflow

¿Cuáles son las diferencias entre el recocido simulado y algoritmos genéticos?

https://www.generacodice.com/es/articolo/742694/cuales-son-las-diferencias-entre-el-recocido-simulado-y-algoritmos-geneticos
  artificial-intelligence  -  genetic-algorithm  -  simulated-annealing  -  constraint-satisfaction
StackOverflow StackOverflow

Restricciones Java Library (JCL) problema: cómo representar la suma?

https://www.generacodice.com/es/articolo/437949/restricciones-java-library-jcl-problema-como-representar-la-suma
  constraints  -  constraint-programming  -  constraint-satisfaction
StackOverflow StackOverflow
Resultados encontrados: 126
scroll top