StackOverflow Questions for Tag: satisfiability

cxcfan

Reputation: 185

Is it possible to get the equisatisfiable boolean formula of a QF_UF formula using existing SMT solvers?

z3smtsatisfiability

Score: 1

Answers: 1

red_house

Reputation: 63

Solving with multiple assumptions

satsatisfiabilitysat-solvers

Score: 1

Answers: 2

jas7

Reputation: 3075

Algorithm: How to find the number of solutions to SAT?

algorithmoptimizationcombinatoricssatsatisfiability

Score: 0

Answers: 1

ssdimmanuel

Reputation: 458

ANTLR - Boolean satisfiabilty

javabooleanlogicantlrsatisfiability

Score: 1

Answers: 1

Kuba

Reputation: 291

Minizinc "var set of int: x" instead of "set of int: x"

syntax-errorminizincsatisfiability

Score: 0

Answers: 2

BostonMan

Reputation: 161

Boolean Formula Satisfiability - Solving with Minimum Amount of Variables Set to True

boolean-logicsatisfiability

Score: 0

Answers: 0

PEN

Reputation: 21

How to read .cnf file in java

javabooleansatisfiabilitysatconjunctive-normal-form

Score: 1

Answers: 2

Pepria

Reputation: 404

Reducing 3-SAT to Vertex Cover?

algorithmcomplexity-theorygraph-theorynp-completesatisfiability

Score: 2

Answers: 0

sean

Reputation: 1832

How to present negative number in bitvector?

z3theorem-provingsatisfiability

Score: 1

Answers: 1

user6227505

Reputation: 19

Converting Not All Equal 2-Sat Pr0blem to an equivalent 2-SAT pr0blem

algorithmsatisfiability2-satisfiability

Score: 1

Answers: 1

predragf

Reputation: 43

Assumptions in Z3 or Z3Py

z3z3pysatisfiabilitysat

Score: 2

Answers: 2

user5912880

Reputation:

DPLL and Satisfiablity Examples?

algorithmlogicsatisfiabilitysat

Score: 2

Answers: 1

Learner

Reputation: 1667

Can You Reduce K-Independent Set to 2-SAT

algorithmproofcomputation-theorynp-completesatisfiability

Score: 1

Answers: 1

Aysim Toker

Reputation: 23

How to assign integer values to boolean formula's variables using sat4j in java?

javasatisfiabilitysatsat-solverssat4j

Score: 1

Answers: 1

piyush-balwani

Reputation: 544

Polynomial algo for 2-SAT related algorithm

algorithmcomplexity-theorysatisfiability2-satisfiability

Score: 1

Answers: 1

genclik27

Reputation: 323

Converting unsatisfiable set of constraints into satisfiable smaller sets of constraints

constraint-programmingsatisfiabilitysat

Score: 1

Answers: 1

Sreejith Ramakrishnan

Reputation: 1382

Find All Numbers in Array which Sum upto Zero

arraysalgorithmmathsatisfiability

Score: 1

Answers: 4

user1718682

Reputation: 71

Polynomial Time Reduction Gadget that runs in poly time but creates n! size output.

algorithmoptimizationsatisfiabilityspanning-tree

Score: 0

Answers: 1

dspyz

Reputation: 5524

Tools for SAT grounding?

declarativesatisfiabilityanswer-set-programming

Score: 1

Answers: 1

Albert Hendriks

Reputation: 2142

real world SAT instances

constraint-programmingsatisfiabilityoperations-research

Score: 1

Answers: 2

PreviousPage 4Next

StackOverflow Questions for Tag: satisfiability

Is it possible to get the equisatisfiable boolean formula of a QF_UF formula using existing SMT solvers?

Solving with multiple assumptions

Algorithm: How to find the number of solutions to SAT?

ANTLR - Boolean satisfiabilty

Minizinc &quot;var set of int: x&quot; instead of &quot;set of int: x&quot;

Boolean Formula Satisfiability - Solving with Minimum Amount of Variables Set to True

How to read .cnf file in java

Reducing 3-SAT to Vertex Cover?

How to present negative number in bitvector?

Converting Not All Equal 2-Sat Pr0blem to an equivalent 2-SAT pr0blem

Assumptions in Z3 or Z3Py

DPLL and Satisfiablity Examples?

Can You Reduce K-Independent Set to 2-SAT

How to assign integer values to boolean formula&#39;s variables using sat4j in java?

Polynomial algo for 2-SAT related algorithm

Converting unsatisfiable set of constraints into satisfiable smaller sets of constraints

Find All Numbers in Array which Sum upto Zero

Polynomial Time Reduction Gadget that runs in poly time but creates n! size output.

Tools for SAT grounding?

real world SAT instances

Minizinc "var set of int: x" instead of "set of int: x"

How to assign integer values to boolean formula's variables using sat4j in java?