YKY (Yan King Yin) [EMAIL PROTECTED] wrote:
Comparing the problem at hand with SAT may not be very accurate. First, we
need to formulate the problem more clearly -- what exactly are we trying to do.
Then we can estimate whether it's feasible with available computing power.
Also,
Ben or anyone,
Do you know of an explanation or reference that is a for Dummies explanation
of how SAT (or SMT) handles computations in spaces with and 100,000
variables and/or 10^300 states in practically computable time.
I assume it is by focusing only on that part of the space through which
Pp
Sent from my phone.
On Feb 24, 2008, at 1:38 PM, Ed Porter [EMAIL PROTECTED] wrote:
Ben or anyone,
Do you know of an explanation or reference that is a for Dummies
explanation
of how SAT (or SMT) handles computations in spaces with and 100,000
variables and/or 10^300 states in
Hi,
There is no good overview of SMT so far as I know, just some technical
papers... but SAT solvers are not that deep and are well reviewed in
this book...
http://www.sls-book.net/
-- Ben
On Sun, Feb 24, 2008 at 4:38 PM, Ed Porter [EMAIL PROTECTED] wrote:
Ben or anyone,
Do you know of an