MATH
Login Or Sign up

List Question

15
66
Views

First Order Logic : Satisfiability of an amount of Formulas

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

What is wrong with this definition of a truth predicate?

Published on
#logic #peano-axioms #satisfiability
398
Views

Analysis of Schöning's $k$-SAT algorithm

Published on
#markov-chains #satisfiability
197
Views

Bounds related to satisfiability problem

Published on
#combinatorics #logic #upper-lower-bounds #satisfiability
66
Views

Boolean operator in Queen problem

Published on
#discrete-mathematics #boolean-algebra #binary-operations #satisfiability
662
Views

How to obtain the empty clause from CNF?

Published on
#logic #first-order-logic #predicate-logic #satisfiability #conjunctive-normal-form
174
Views

resolution - satisfiability of formula (edit: renaming clause variables)

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

Converting a 4cnf clause into one with not all equal literals

Published on
#logic #np-complete #satisfiability #conjunctive-normal-form
523
Views

Finding the logical consequence of a set of formulas $A$

Published on
#logic #propositional-calculus #satisfiability #provability
56
Views

CNF for modilisation of a word

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

CNF formula for manipulating words

Published on
#propositional-calculus #boolean-algebra #satisfiability #combinatorics-on-words #conjunctive-normal-form
499
Views

How do you determine if a formula is satisfiable in Predicate Logic?

Published on
#logic #first-order-logic #predicate-logic #model-theory #satisfiability
33
Views

Terminology for Linear Programs without Objective Functions

Published on
#linear-programming #numerical-linear-algebra #numerical-optimization #integer-programming #satisfiability
137
Views

Dominant set of a Graph - Convert to Conjunctive Normal Form

Published on
#logic #graph-theory #satisfiability #conjunctive-normal-form
215
Views

Show that $\Phi \vDash \psi \Longleftrightarrow \Phi \cup \{\lnot \psi\} \ \text{is not satisfiable}$

Published on
#discrete-mathematics #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.