StackOverflow Questions for Tag: conjunctive-normal-form

Anh

Reputation: 35

The way Sat4j actually solves CNF clauses

satsat-solversconjunctive-normal-formsat4j

Score: 2

Answers: 1

Fahin Miah

Reputation: 19

How can I simplify the following CNF

discrete-mathematicsconjunctive-normal-form

Score: -1

Answers: 1

Karim Loberg

Reputation: 31

Dimacs cnf expression not satisfiable, why?

satsatisfiabilityconjunctive-normal-form2-satisfiability

Score: 0

Answers: 1

user12417778

Reputation:

Creating random CNF formulas prolog

prologlogicswi-prologlogic-programmingconjunctive-normal-form

Score: 1

Answers: 2

Partha

Reputation: 23

Generating DIMACS CNF file using bc2cnf is missing AND

boolean-expressionsatboolean-algebrasatisfiabilityconjunctive-normal-form

Score: 1

Answers: 1

Lance Pollard

Reputation: 79478

Algorithm implementation to convert propositional formula into conjunctive normal form in JavaScript?

javascriptalgorithmmathlogicconjunctive-normal-form

Score: 0

Answers: 3

Carmello Jones

Reputation: 1

Is an empty clause within another empty clause is equivalent to an empty clause ?(In CNF form)

javalogiccomputer-sciencediscrete-mathematicsconjunctive-normal-form

Score: -1

Answers: 1

Melina

Reputation: 303

How to get the span of a conjunct in spacy?

pythonnlpspacyconjunctive-normal-form

Score: 0

Answers: 1

rwallace

Reputation: 33639

Converting first-order logic to CNF without exponential blowup

first-order-logicconjunctive-normal-form

Score: 5

Answers: 1

Sotiris Kettenis

Reputation: 49

Print all solutions of the N-Queens problem using a SAT solver

csatconjunctive-normal-form

Score: 1

Answers: 2

joeforker

Reputation: 41817

How are objective functions represented in SAT solvers?

satcnfconjunctive-normal-form

Score: 0

Answers: 1

Sanjay Verma

Reputation: 101

Which of the following is TRUE about formulae in Conjunctive Normal Form?

digitalconjunctive-normal-form

Score: 3

Answers: 1

Yi Tu

Reputation: 1

How to using CNFs to describe addition

additionsatconjunctive-normal-form

Score: 0

Answers: 1

user3614293

Reputation: 425

Reasoning with Conjunctive Normal Forms

prologconjunctive-normal-form

Score: 3

Answers: 1

Lance Pollard

Reputation: 79478

Why a Boolean Logic Statement Needs to be in Conjunctive Normal Form (CNF)

boolean-logictheorem-provingsatconjunctive-normal-form

Score: 2

Answers: 1

user502187

Reputation:

Compression of a positive DNF

prologboolean-logicconjunctive-normal-form

Score: 3

Answers: 1

dylhunn

Reputation: 1432

MAX-3SAT: Best data structure

logicboolean-logicboolean-expressionconjunctive-normal-form

Score: 1

Answers: 0

doulmi

Reputation: 21

Conjunctive normal form of Game Of life

conways-game-of-lifeconjunctive-normal-form

Score: 0

Answers: 1

rwallace

Reputation: 33639

Name of unsigned literals in clause normal form

logicterminologyclauseconjunctive-normal-form

Score: 1

Answers: 1

RunOrVeith

Reputation: 4813

Optimize SAT constraints of puzzle from DNF

algorithmpuzzlesolversatconjunctive-normal-form

Score: 1

Answers: 1

PreviousPage 1Next