> To get back to Ben's statement: Is the computer chip industry happy with > contemporary SAT solvers
Well they are using them, but of course there is loads of room for improvement!! >or would a general solver that is capable of > beating n^4 time be of some use to them? If it would be useful, then there > is a reason to believe that it might be useful to AGI. ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=95818715-a78a9b Powered by Listbox: http://www.listbox.com
