标签satisfiability - 这是页46 - GeneraCodice

Formulas for which any equivalent CNF formula has exponential length

https://www.generacodice.com/cn/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/cn/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/cn/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/cn/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/cn/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/cn/articolo/1466589/drawing-an-implication-graph-for-2-sat-clauses
  complexity-theory  -  logic  -  satisfiability
cs.stackexchange cs.stackexchange

SAT/CNF 优化

https://www.generacodice.com/cn/articolo/1422577/sat-cnf-优化
  algorithm  -  optimization  -  linear-programming  -  satisfiability
StackOverflow StackOverflow

SAT和特殊的#SAT的特殊情况，其复杂度最高为O（n ^ 2），并且具有生成实例的有效算法？

https://www.generacodice.com/cn/articolo/1395356/sat和特殊的-sat的特殊情况-其复杂度最高为o-n-2-并且具有生成实例的有效算法
  logic  -  enumeration  -  counting  -  satisfiability  -  time-complexity
StackOverflow StackOverflow

将2-SAT公式转换为含义图

https://www.generacodice.com/cn/articolo/1148591/将2-sat公式转换为含义图
  complexity-theory  -  satisfiability
cs.stackexchange cs.stackexchange

从 ILP 到 SAT 的复试时间减少吗？

https://www.generacodice.com/cn/articolo/1148268/从-ilp-到-sat-的复试时间减少吗
  np-complete  -  satisfiability  -  reductions  -  integer-programming
cs.stackexchange cs.stackexchange
发现结果: 510
scroll top