Tag satisfiability - Esta é a página 46 - GeneraCodice

Formulas for which any equivalent CNF formula has exponential length

https://www.generacodice.com/pt/articolo/1489278/formulas-for-which-any-equivalent-cnf-formula-has-exponential-length
  satisfiability
cs.stackexchange cs.stackexchange

Complexity of (SAT to 3-SAT) Problem?

https://www.generacodice.com/pt/articolo/1467968/complexity-of-sat-to-3-sat-problem
  complexity-theory  -  satisfiability  -  decision-problem  -  complexity-classes
cs.stackexchange cs.stackexchange

Is MIN or MAX-True-2-XOR-SAT NP-hard?

https://www.generacodice.com/pt/articolo/1467843/is-min-or-max-true-2-xor-sat-np-hard
  complexity-theory  -  satisfiability  -  np-hard
cs.stackexchange cs.stackexchange

3-SAT where variables occur equally many times as a positive literal and as a negative literal

https://www.generacodice.com/pt/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 cs.stackexchange

Complexity of deciding the satisfiability of a quasi-monotone CNF formula

https://www.generacodice.com/pt/articolo/1467182/complexity-of-deciding-the-satisfiability-of-a-quasi-monotone-cnf-formula
  complexity-theory  -  np-complete  -  satisfiability  -  decision-problem
cs.stackexchange cs.stackexchange

Drawing an implication graph for 2-SAT clauses

https://www.generacodice.com/pt/articolo/1466589/drawing-an-implication-graph-for-2-sat-clauses
  complexity-theory  -  logic  -  satisfiability
cs.stackexchange cs.stackexchange

Otimização SAT/CNF

https://www.generacodice.com/pt/articolo/1422577/otimizacao-sat-cnf
  algorithm  -  optimization  -  linear-programming  -  satisfiability
StackOverflow StackOverflow

Casos especiais de SAT e correspondente #SAT com complexidade no máximo O(n^2) AND que possuem algoritmos eficientes para geração de instâncias?

https://www.generacodice.com/pt/articolo/1395356/casos-especiais-de-sat-e-correspondente-sat-com-complexidade-no-maximo-o-n-2-and-que-possuem-algoritmos-eficientes-para-geracao-de-instancias
  logic  -  enumeration  -  counting  -  satisfiability  -  time-complexity
StackOverflow StackOverflow

Converting a 2-SAT formula into an implication graph

https://www.generacodice.com/pt/articolo/1148591/converting-a-2-sat-formula-into-an-implication-graph
  complexity-theory  -  satisfiability
cs.stackexchange cs.stackexchange

Poly-time reduction from ILP to SAT?

https://www.generacodice.com/pt/articolo/1148268/poly-time-reduction-from-ilp-to-sat
  np-complete  -  satisfiability  -  reductions  -  integer-programming
cs.stackexchange cs.stackexchange
Resultados encontrados: 510
scroll top