On Mon, Mar 31, 2008 at 9:46 AM, Ben Goertzel <[EMAIL PROTECTED]> wrote:
> All this talk about the Lord and SAT solvers has me thinking up variations
> to the Janis Joplin song
>
> http://www.azlyrics.com/lyrics/janisjoplin/mercedesbenz.html
> "
> Oh Lord, won't you buy me
> a polynomial-time SAT solution
> I'm counting on you Lord
> Don't leave me in destitution
>
> Prove that you love me
> And create a scientific revolution
> Oh Lord, won't you buy me
> a polynomial-time SAT solution
> "
> ... oh, whatever ...  ;-O
>
> -- Ben G

You win!  I am going to quit your group.

-------------------------------------------
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=98558129-0bdb63
Powered by Listbox: http://www.listbox.com

Reply via email to