List questions from satisfiability

Published on 01 Apr 2015 - 15:55

340

Views

Let $\tau$ be a closed tableau. Prove that $\tau$ is not satisfiable.

Published on 05 Apr 2015 - 15:11

114

Views

Proof by contradiction that $P \rightarrow Q$ is true

Published on 12 Apr 2015 - 20:51

251

Views

What is satisfiable by a reduct of a model is satisfiable by the original model (and vice versa)?

Published on 29 Apr 2015 - 15:16

809

Views

Rule of inference - Biconditional proposition

Published on 02 May 2015 - 21:53

2.8k

Views

Reduction from Circuit-Sat to 3-Sat

Published on 25 Mar 2026 - 17:37

1.9k

Views

Is $P^{SAT}$ equal to NP $\cup$ co-NP?

Published on 01 Jun 2015 - 17:49

5k

Views

reduction from 3sat to 3 dimensional matching.

Published on 04 Jun 2015 - 20:03

351

Views

If $\Sigma$ is finitely satisfiable, can both $\Sigma \cup \{ \phi\}$ and $\Sigma \cup \{ \neg \phi\}$ be finitely satisfiable?

Published on 23 Jun 2015 - 19:23

102

Views

Symbolically formulate the two guard problem so it can be solved by a computer

Published on 23 Feb 2026 - 2:53

1.1k

Views

How to reason with Equisatisfiability

Published on 16 Aug 2015 - 0:27

4.1k

Views

Proving unsatisfiability with propositional resolution

Published on 16 Aug 2015 - 21:41

670

Views

Lower bound on circuit size of a Boolean function

Published on 19 Aug 2015 - 18:00

213

Views

Can CNF Hamiltonian graphs be turned to "DNF" graphs?

Published on 22 Aug 2015 - 14:32

105

Views

how to determine if formula satisfies without creating a truth table

Published on 04 Mar 2026 - 2:32

List Question

Interpretation and truth table is enough to showing validity or a better way?

Let $\tau$ be a closed tableau. Prove that $\tau$ is not satisfiable.

Proof by contradiction that $P \rightarrow Q$ is true

What is satisfiable by a reduct of a model is satisfiable by the original model (and vice versa)?

Rule of inference - Biconditional proposition

Reduction from Circuit-Sat to 3-Sat

Is $P^{SAT}$ equal to NP $\cup$ co-NP?

reduction from 3sat to 3 dimensional matching.

If $\Sigma$ is finitely satisfiable, can both $\Sigma \cup \{ \phi\}$ and $\Sigma \cup \{ \neg \phi\}$ be finitely satisfiable?

Symbolically formulate the two guard problem so it can be solved by a computer

How to reason with Equisatisfiability

Proving unsatisfiability with propositional resolution

Lower bound on circuit size of a Boolean function

Can CNF Hamiltonian graphs be turned to "DNF" graphs?

how to determine if formula satisfies without creating a truth table

Trending Questions

Popular # Hahtags

Popular Questions