MATH
Login Or Sign up

List Question

15
701
Views

Is a subset of a NP-complete language also NP-complete?

Published on
#np-complete #satisfiability
399
Views

How many satisfying assignments are there in a set of 3-CNF clauses where no clause share the same variable?

Published on
#combinatorics #boolean-algebra #satisfiability
128
Views

3-SAT complexity

Published on
#satisfiability
1k
Views

A reduction of 3-CNF down to 2-CNF for boolean satisfiability

Published on
#logic #propositional-calculus #boolean-algebra #satisfiability #conjunctive-normal-form
58
Views

Converting Natural Language Problem to CNF

Published on
#propositional-calculus #satisfiability #conjunctive-normal-form
316
Views

Is Boolean Satisfiability Problem for CNF is NP? What about DNF?

Published on
#logic #propositional-calculus #boolean-algebra #satisfiability
98
Views

Can there be *different* semantics for First Order Logic?

Published on
#logic #first-order-logic #satisfiability
113
Views

If a statement implies a SAT statement, then itself is SAT $?$

Published on
#logic #reference-request #satisfiability
220
Views

Logic - Rearranging CNF formula

Published on
#combinatorics #logic #satisfiability #conjunctive-normal-form
107
Views

Satisfiability in logic

Published on
#logic #proof-writing #satisfiability
156
Views

How do I show that a goal cannot be proven from premises?

Published on
#logic #first-order-logic #predicate-logic #formal-proofs #satisfiability
122
Views

Task about Conjunctive and Disjunctive normal form.

Published on
#discrete-mathematics #boolean-algebra #satisfiability #conjunctive-normal-form #disjunctive-normal-form
242
Views

Propositional formula which is satisfiable if theres a graph homomorphism?

Published on
#graph-theory #propositional-calculus #satisfiability
270
Views

3SAT satisfiable so bipartite graph is Hamiltonian in polynomial time

Published on
#graph-theory #proof-writing #computer-science #computational-complexity #satisfiability
197
Views

The definition of truth in First Order Logic

Published on
#logic #first-order-logic #predicate-logic #satisfiability

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.