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 12 - GeneraCodice
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
Help with understanding Simulated Annealing algorithm
https://www.generacodice.com/en/articolo/1543382/help-with-understanding-simulated-annealing-algorithm
constraint-satisfaction
cs.stackexchange
Building up timetabling problem with lots of variables
https://www.generacodice.com/en/articolo/1446895/building-up-timetabling-problem-with-lots-of-variables
python
-
constraints
-
resource-scheduling
-
timetable
-
constraint-satisfaction
StackOverflow
Constraint Satisfaction: Choosing real numbers with certain characteristics
https://www.generacodice.com/en/articolo/859960/constraint-satisfaction-choosing-real-numbers-with-certain-characteristics
algorithm
-
statistics
-
constraint-programming
-
constraint-satisfaction
StackOverflow
What are the differences between simulated annealing and genetic algorithms?
https://www.generacodice.com/en/articolo/742694/what-are-the-differences-between-simulated-annealing-and-genetic-algorithms
artificial-intelligence
-
genetic-algorithm
-
simulated-annealing
-
constraint-satisfaction
StackOverflow
Java Constraints Library (JCL) problem: how to represent addition?
https://www.generacodice.com/en/articolo/437949/java-constraints-library-jcl-problem-how-to-represent-addition
constraints
-
constraint-programming
-
constraint-satisfaction
StackOverflow
«
8
9
10
11
12
13
»
Results found: 126