Dpll, SAT (satisfability) problem, Need DPLL Function or Procedure?

Question

here is my problem, I stucked in Matlab with SAT Problem (Satisfability)

Actually I need a function called DPLL, I saw it somewhere here but it's in java, can anyone help me please?

To the question "can anyone help me please?", the answer is probably "yes". So, *what's the **real** question?* — luser droog, Mar 21 '13 at 01:18
You misunderstood me. We *do* want to help. You have not given enough information for us to do so. — luser droog, Mar 21 '13 at 11:10

score 0 · Accepted Answer · answered Mar 21 '13 at 00:55

0

MATLAB has an embedded JVM, and makes it easy to call Java classes from inside MATLAB.

This is well explained in the documentation

answered Mar 21 '13 at 00:55

Amro

1 Answers1