List questions from satisfiability

181

Views

How to prove that the following simplification rule on Davis–Putnam function is satisfiability-equivalent?

Published on 24 Jan 2024 - 9:05

293

Views

Proving Pigeonhole Principle is Unsatisfiable

Published on 25 Jan 2024 - 21:59

121

Views

Application of blocked clauses

Published on 28 Jan 2024 - 18:24

51

Views

Resolution Exponential Memory Blowup

Published on 31 Jan 2024 - 16:39

98

Views

How to use resolution in this formula with XOR?

Published on 05 Mar 2024 - 16:34

19

Views

Guess the number in the box - which complexity class does this belong in?

Published on 23 Feb 2026 - 10:17

18

Views

Satisfiability of certain class of 2-CNF formulae

Published on 21 Mar 2024 - 20:42

80

Views

Computational tree logic satisfiability.

Published on 26 Jan 2015 - 20:51

418

Views

Prove $\forall z\left(\left(\exists xA\rightarrow A_{x}[z]\right)\rightarrow B\right)\vDash B$

Published on 27 Jan 2015 - 17:33

2k

Views

Reduce Hamiltonian Path to CNF SAT

Published on 25 Mar 2026 - 14:20

2.1k

Views

Satisfying assignments, twice-3SAT NP complete

Published on 17 Feb 2015 - 19:23

306

Views

Proof of Satisfiability

Published on 18 Mar 2015 - 1:17

311

Views

Proving that a set is not negation complete

Published on 18 Mar 2015 - 4:54

1k

Views

How to convert conjunction inside disjunction into CNF?

Published on 27 Mar 2015 - 15:40

203

Views

Let $\tau$ and $\rho$ be tableaus such that $\tau \leadsto \rho$. Prove that $\tau$ is satisfiable if and only if $\rho$ is satisfiable.

Published on 29 Mar 2015 - 9:59

List Question

How to prove that the following simplification rule on Davis–Putnam function is satisfiability-equivalent?

Proving Pigeonhole Principle is Unsatisfiable

Application of blocked clauses

Resolution Exponential Memory Blowup

How to use resolution in this formula with XOR?

Guess the number in the box - which complexity class does this belong in?

Satisfiability of certain class of 2-CNF formulae

Computational tree logic satisfiability.

Prove $\forall z\left(\left(\exists xA\rightarrow A_{x}[z]\right)\rightarrow B\right)\vDash B$

Reduce Hamiltonian Path to CNF SAT

Satisfying assignments, twice-3SAT NP complete

Proof of Satisfiability

Proving that a set is not negation complete

How to convert conjunction inside disjunction into CNF?

Let $\tau$ and $\rho$ be tableaus such that $\tau \leadsto \rho$. Prove that $\tau$ is satisfiable if and only if $\rho$ is satisfiable.

Trending Questions

Popular # Hahtags

Popular Questions