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

Non-Boolean SAT

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

“Greater than AND smaller than” condition in integer linear program with a binary variable

https://www.generacodice.com/es/articolo/1616246/greater-than-and-smaller-than-condition-in-integer-linear-program-with-a-binary-variable
  linear-programming  -  constraint-satisfaction  -  integer-programming
cs.stackexchange cs.stackexchange

Sum of unique integers to cnf constraint

https://www.generacodice.com/es/articolo/1615990/sum-of-unique-integers-to-cnf-constraint
  java  -  constraint-satisfaction  -  sat-solvers
cs.stackexchange cs.stackexchange

Constraint propagation using Projection rule

https://www.generacodice.com/es/articolo/1615255/constraint-propagation-using-projection-rule
  constraint-programming  -  constraint-satisfaction
cs.stackexchange cs.stackexchange

SAT algorithm for determining if a graph is disjoint

https://www.generacodice.com/es/articolo/1615140/sat-algorithm-for-determining-if-a-graph-is-disjoint
  satisfiability  -  constraint-satisfaction  -  graphs
cs.stackexchange cs.stackexchange

How to put elements in allowed bags?

https://www.generacodice.com/es/articolo/1613515/how-to-put-elements-in-allowed-bags
  terminology  -  constraint-satisfaction  -  algorithms  -  knapsack-problems
cs.stackexchange cs.stackexchange

How to calculate the number of invalid strings given a constraint system on alphabet, word blacklist, and string length

https://www.generacodice.com/es/articolo/1612549/how-to-calculate-the-number-of-invalid-strings-given-a-constraint-system-on-alphabet-word-blacklist-and-string-length
  discrete-mathematics  -  constraint-satisfaction  -  algorithms
cs.stackexchange cs.stackexchange

Is this problem that's similar to integer linear programming also an NP-complete problem?

https://www.generacodice.com/es/articolo/1611572/is-this-problem-that-s-similar-to-integer-linear-programming-also-an-np-complete-problem
  np-complete  -  constraint-satisfaction  -  integer-programming
cs.stackexchange cs.stackexchange

Solving a in/equality constraint problem with graph search

https://www.generacodice.com/es/articolo/1609811/solving-a-in-equality-constraint-problem-with-graph-search
  graph-traversal  -  constraint-satisfaction  -  graphs
cs.stackexchange cs.stackexchange

Sorting strings with “before” and “after” constraints

https://www.generacodice.com/es/articolo/1609191/sorting-strings-with-before-and-after-constraints
  sorting  -  constraint-satisfaction
cs.stackexchange cs.stackexchange
Resultados encontrados: 126
scroll top