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 satisfiability - This is page 46 - GeneraCodice
Formulas for which any equivalent CNF formula has exponential length
https://www.generacodice.com/en/articolo/1489278/formulas-for-which-any-equivalent-cnf-formula-has-exponential-length
satisfiability
cs.stackexchange
Complexity of (SAT to 3-SAT) Problem?
https://www.generacodice.com/en/articolo/1467968/complexity-of-sat-to-3-sat-problem
complexity-theory
-
satisfiability
-
decision-problem
-
complexity-classes
cs.stackexchange
Is MIN or MAX-True-2-XOR-SAT NP-hard?
https://www.generacodice.com/en/articolo/1467843/is-min-or-max-true-2-xor-sat-np-hard
complexity-theory
-
satisfiability
-
np-hard
cs.stackexchange
3-SAT where variables occur equally many times as a positive literal and as a negative literal
https://www.generacodice.com/en/articolo/1467821/3-sat-where-variables-occur-equally-many-times-as-a-positive-literal-and-as-a-negative-literal
complexity-theory
-
np-complete
-
satisfiability
-
decision-problem
cs.stackexchange
Complexity of deciding the satisfiability of a quasi-monotone CNF formula
https://www.generacodice.com/en/articolo/1467182/complexity-of-deciding-the-satisfiability-of-a-quasi-monotone-cnf-formula
complexity-theory
-
np-complete
-
satisfiability
-
decision-problem
cs.stackexchange
Drawing an implication graph for 2-SAT clauses
https://www.generacodice.com/en/articolo/1466589/drawing-an-implication-graph-for-2-sat-clauses
complexity-theory
-
logic
-
satisfiability
cs.stackexchange
SAT/CNF optimization
https://www.generacodice.com/en/articolo/1422577/sat-cnf-optimization
algorithm
-
optimization
-
linear-programming
-
satisfiability
StackOverflow
Special cases of SAT and corresponding #SAT with complexity a most O(n^2) AND that have efficient algorithms for generating instances?
https://www.generacodice.com/en/articolo/1395356/special-cases-of-sat-and-corresponding-sat-with-complexity-a-most-o-n-2-and-that-have-efficient-algorithms-for-generating-instances
logic
-
enumeration
-
counting
-
satisfiability
-
time-complexity
StackOverflow
Converting a 2-SAT formula into an implication graph
https://www.generacodice.com/en/articolo/1148591/converting-a-2-sat-formula-into-an-implication-graph
complexity-theory
-
satisfiability
cs.stackexchange
Poly-time reduction from ILP to SAT?
https://www.generacodice.com/en/articolo/1148268/poly-time-reduction-from-ilp-to-sat
np-complete
-
satisfiability
-
reductions
-
integer-programming
cs.stackexchange
«
43
44
45
46
47
48
»
Results found: 510