DPLL Procedure / Function in Matlab needed

Hello Dear Members,

I need this function specify in matlab, I would be very thankfull if somone can share it with me, the function is called DPLL (Davis Putnam, Logemann Loveland) its SAT (Satisfiability ) Problem, i have searched whole internet didnt found anything, i need it in MATLAB Only!!

Thanks in advance

Best Regards
Sign In or Register to comment.

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!