en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag constraint-satisfaction - This is page 11 - GeneraCodice
Are finite-domain binary constraint satisfaction problems solvable in polynomial time?
https://www.generacodice.com/en/articolo/1578807/are-finite-domain-binary-constraint-satisfaction-problems-solvable-in-polynomial-time
complexity-theory
-
constraint-satisfaction
-
polynomial-time
cs.stackexchange
Do approximation results for CSPs hold even when domains are of finite but different size?
https://www.generacodice.com/en/articolo/1576107/do-approximation-results-for-csps-hold-even-when-domains-are-of-finite-but-different-size
approximation
-
constraint-satisfaction
cs.stackexchange
Theoretical CSPs where (in)equality constraints can be expressed as a single constraint?
https://www.generacodice.com/en/articolo/1576053/theoretical-csps-where-in-equality-constraints-can-be-expressed-as-a-single-constraint
optimization
-
np-hard
-
constraint-satisfaction
-
reductions
cs.stackexchange
Can a $k$-ary relation have polymorphisms of arity greater than $k$?
https://www.generacodice.com/en/articolo/1572566/can-a-k-ary-relation-have-polymorphisms-of-arity-greater-than-k
relational-algebra
-
constraint-satisfaction
-
polymorphisms
cs.stackexchange
Similarity between Min-Conflicts and Coordinate Descent in CSPs?
https://www.generacodice.com/en/articolo/1571222/similarity-between-min-conflicts-and-coordinate-descent-in-csps
optimization
-
constraint-satisfaction
cs.stackexchange
CNF-SAT reduction problem variant
https://www.generacodice.com/en/articolo/1565060/cnf-sat-reduction-problem-variant
np-complete
-
satisfiability
-
constraint-satisfaction
-
reductions
cs.stackexchange
Contraint with three variables into three binary constraints
https://www.generacodice.com/en/articolo/1546633/contraint-with-three-variables-into-three-binary-constraints
constraint-satisfaction
cs.stackexchange
Isn't Domain of a variable nothing but a constraint?
https://www.generacodice.com/en/articolo/1545793/isn-t-domain-of-a-variable-nothing-but-a-constraint
type-theory
-
typing
-
constraint-programming
-
constraint-satisfaction
-
curry-howard
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/en/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
Requiring at least one alldiff constraint to be satisfied converted to SAT
https://www.generacodice.com/en/articolo/1544567/requiring-at-least-one-alldiff-constraint-to-be-satisfied-converted-to-sat
constraint-programming
-
constraint-satisfaction
-
modelling
cs.stackexchange
«
8
9
10
11
12
13
»
Results found: 126