google will offer free email to compete with msn, yahoo.. media goes bananas http://www.wired.com/news/business/0,1367,62897,00.html?tw=wn_tophead_7 ...
hi all. fyi, some info on two tar files I just uploaded to the archives. lately Ive been having a lot of fun playing with the computer-as-microscope or...
ok, S thanks for the link, & correction. the url I just posted for the qbf evaluation report/slide show mentioned the "strong" qbf solvers are qsat,...
Hi Stas, I've run adaptive_greedy on the instances of Ke Xu (see message - http://groups.yahoo.com/group/theory-edge/message/9431 here in theory edge). ...
Hi Klaus, Ok, I already have an updated algorithm in mind, but no time to implement and try it yet. BTW, have you checked whether the maximum independent set...
... What is it about, I could give it a try. ... Yes and no. The author of those instances made the long clauses maximal cliques and implanted the solution. I...
Hi, Can someone tell me a way to do the following there is a language L and a turing machine M which accpets it . There is another Language L' and another...
Hi Klaus, ... I've already tried, the results are worse :-( I thought about correcting the initial array of vertex degrees subtracting some penalty from ...
hi all .. our subscriber count has been climbing up the last few weeks after a period with a hard hit which seemed to be related to yahoo disabling email addrs...
hi all, heres an article on the flash supercomputer event in SF. its now being called a "dry run". 660 participants. no report on how fast the system was. I...
Hi all, have uploaded a slightly modified version of NPNG, namely NPNGrb release 3.3.1. NPNGrb no longer performs directional (DR) resolution or subsumption. ...
Hi Stas, in the readme file of the distribution it says, under "known limitations", that the input must be made of long (positive) clauses and binary...
hi all, after a 1-year job review in which I got straight As in performance but an insulting raise (probably even below inflation.. see these links on what a...
Hi all, the feedback and additional SAT instances I received during the previous 12 hours from Professor Ke Xu showed that NPNGrb fails to correctly solve all...
mainstream press notices supercomputer attempt. says they got up to 180 gflops..needed 500 gflops to make the supercomputer list. nyt says "a few balky...
Hi all, have uploaded the bug fixed version 3.3.2 of NPNGrb. The bug was found by Professor Ke Xu who also sent me even harder instances for which I thank him...
FAQ about Islam (Frequently Asked Questions) Who is Allah? Allah means God. It is a personal name, which Allah calls Himself in the Koran. That is where we get...
I guess this is not a religious newsgroup. Such mails should not be encouraged. I request the moderator to delete this particular email address from the group....
I found a very good website http://www.TryETS.com which helps you to apply to 4,000 colleges of the world. I was largely benifited by this website and hence I...
nytimes digital editor on blogs http://www.wired.com/wired/archive/12.04/view.html?pg=3?tw=wn_tophead_4 big online economies in games, with some traders making...
hi all, reading this article on the blackout bug is very interesting from a software engr pt of view.. http://www.securityfocus.com/news/8412 it seems, code is...
nsa is hiring in big campaign. be the best spook you can be. info on intercepts that predicted sept 11th. esp looking for foreign language knowledge ...
... From: vznuri To: theory-edge@yahoogroups.com Sent: Friday, April 09, 2004 12:39 PM Subject: [theory-edge] blackout bug muse hi all, reading this article on...
