ubcsat

24 views
Skip to first unread message

emad-eddine mosbah

unread,
Feb 27, 2017, 4:03:44 PM2/27/17
to ubc...@googlegroups.com
Hello .
am working in problem of SAT and i am using your UBCSAT , but the problem is i am looking for display all solution existe, could you help me.
Thank you.

Dave Tompkins

unread,
Feb 27, 2017, 4:07:27 PM2/27/17
to mosbah_e...@yahoo.fr, ubcsat
If you're looking to find 100% of all possible solutions for a SAT instance, UBCSAT is not a good choice as it's an "incomplete" approach.

-Dave

--
You received this message because you are subscribed to the Google Groups "ubcsat" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ubcsat+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply all
Reply to author
Forward
0 new messages