What are good documents to read on SAT (Boolean satisfiability problem) solvers. I have not been able to find good material via Google. The documents I found were either birds eye view, too advanced or corrupted PDF files...
Which papers/documents do you recommend to learn about the algorithms in modern practical SAT solvers?
...
Hi,
I a totally new to sat4j solver..
it says some cnf file should be given as input
is there any possible way to give the rule as input and get whether it is satisfiable or not?
my rule will be of the kind
Can ssomeone help me how to solve this using sat4j solver?
...
i need to use sat solver for checking satisfiability of boolean expressions..
I have complex boolean expression like this
is there any automatic cnf file converter so that i can give it straight to sat solver?
I read the cnf format file.. but how to express this expression in .cnf file? i get confused when there is a conjunction ins...
I found a sat solver in
http://code.google.com/p/aima-java/
I tried the following code to solve an expression using dpllsolver
the input is
(A <=> B) AND (C => D) AND (A AND C) AND (NOT (B AND D)) AND (NOT (B AND D AND E))
CNF transformer transforms it to
( ( ( NOT A ) OR B ) AND ( ( NOT B ) OR A ) )
it doesn't consider t...