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

Are finite-domain binary constraint satisfaction problems solvable in polynomial time?

https://www.generacodice.com/es/articolo/1578807/are-finite-domain-binary-constraint-satisfaction-problems-solvable-in-polynomial-time
  complexity-theory  -  constraint-satisfaction  -  polynomial-time
cs.stackexchange cs.stackexchange

Do approximation results for CSPs hold even when domains are of finite but different size?

https://www.generacodice.com/es/articolo/1576107/do-approximation-results-for-csps-hold-even-when-domains-are-of-finite-but-different-size
  approximation  -  constraint-satisfaction
cs.stackexchange cs.stackexchange

Theoretical CSPs where (in)equality constraints can be expressed as a single constraint?

https://www.generacodice.com/es/articolo/1576053/theoretical-csps-where-in-equality-constraints-can-be-expressed-as-a-single-constraint
  optimization  -  np-hard  -  constraint-satisfaction  -  reductions
cs.stackexchange cs.stackexchange

Can a $k$-ary relation have polymorphisms of arity greater than $k$?

https://www.generacodice.com/es/articolo/1572566/can-a-k-ary-relation-have-polymorphisms-of-arity-greater-than-k
  relational-algebra  -  constraint-satisfaction  -  polymorphisms
cs.stackexchange cs.stackexchange

Similarity between Min-Conflicts and Coordinate Descent in CSPs?

https://www.generacodice.com/es/articolo/1571222/similarity-between-min-conflicts-and-coordinate-descent-in-csps
  optimization  -  constraint-satisfaction
cs.stackexchange cs.stackexchange

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
Resultados encontrados: 126
scroll top