On Jan 20, 2008 2:34 PM, Jim Bromer <[EMAIL PROTECTED]> wrote: > I am disappointed because the question of how a polynomial time solution of > logical satisfiability might affect agi is very important to me.
Well, feel free to start a new thread on that topic, then ;-) In fact, I will do so: I will post a message on SAT, SMT and AGI -- Ben G ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=8660244&id_secret=87997968-9121a0