hi all, I found it & am posting the link before I lose it again. this is a neat paper that links up intersecting finite state automata with factoring & other...
From: Jailton C. Ferreira Date (v1): Thu, 27 May 2004 Date (revised v2): Fri, 28 May 2004 "The non-trivial zeros of Riemann's zeta-function" Abstract: A proof...
... From: Michael N. Christoff To: theory-edge@yahoogroups.com ; comp-sci-theory@yahoogroups.com Sent: Tuesday, June 01, 2004 5:56 PM Subject: [theory-edge]...
Join the Experience : http://groups.yahoo.com/group/PisNP/ Friendly Po ;-°) -- GUADALAJARA, MEXICO: The world's scientific community is reeling in the wake of...
Talking to Bill Gates The Microsoft leader speaks on topics ranging from AI to cosmology PDF File http://www.sciam.com/media/pdf/gates_interview.pdf Html Site ...
hi all, it was asserted here that its very difficult to improve on existing SAT algorithms esp those that perform well on the SAT competitions. I am sure that...
rcdr industry is testing DRM hardware to limit cd burns http://news.com.com/Labels+to+dampen+CD+burning%3F/2100-1027_3-5224090.html?tag=nefd.lede IT...
... Not really. Different frameworks outperforming previous generations of solvers have been introduced quite often. Chaff is an example, along with some...
ok heres an example of what I had in mind re: SAT graph analysis. Ive always wanted to analyze SAT graph properties, for years. Ive put it off. however now...
... Most preprocessors work more or less that way. You probably have missed it because you focus on solver papers, which focus on search. ... Hard problems are...
Perhaps even the idea of 'degrees of similarity' from the study of distributed systems could be applied. ie: two clauses with a single shared var have a...
... From: Martin Girard c) the implementation problem. suppose I have an algorithm A that has better O(f(n)) than another one B. however the 2nd one B has been...
... From: Michael N. Christoff considering Java (1.4) often outperforms C (by upto a factor of 2) and even assembly language these days. Should read: ...
hi mike its a nice link but imho pretty simplistic. (a) it doesnt consider the key distinction of native vs bytecode compilation much. afaik, java compilers...
Interested in a new interdisciplinary book about evolution, complexity and multi-agent systems ? Then take a look at my new book: The Emergence of Complexity ...
... From: vznuri To: theory-edge@yahoogroups.com Sent: Thursday, June 03, 2004 12:01 PM Subject: [theory-edge] Re: next gen SAT algorithms hi mike its a nice...
Again, this is totally unfounded and not backed up by any real evidence. The article specifically addresses the GC issue. Sorry, this is what I should have...
Again, this is totally unfounded and not backed up by any real evidence. The article specifically addresses the GC issue. Sorry, this is what I should have...
... From: Michael N. Christoff To: theory-edge@yahoogroups.com Sent: Thursday, June 03, 2004 12:50 PM Subject: Re: [theory-edge] Re: next gen SAT algorithms ...
... From: Michael N. Christoff To: theory-edge@yahoogroups.com Sent: Thursday, June 03, 2004 12:50 PM Subject: Re: [theory-edge] Re: next gen SAT algorithms ...
sorry mike imho the more you drill down into it, the link is misleading & bordering on java mythology/fanaticism/religion/propaganda. imho it seems to have...
... From: vznuri To: theory-edge@yahoogroups.com Sent: Thursday, June 03, 2004 12:59 PM Subject: [theory-edge] Re: next gen SAT algorithms sorry mike imho the...
... I don't even bother to check facts when they defy apparently-not-so-common sense. That a recompiler can end up beating a C implementation? Very Unlikely, ...
... Interesting... I've never considered the problem from that angle. And yet it shows only that C is obsolete compared to Java in some respects, justifying...
... This is true, but it was actually a typo (which I corrected in a later post). In many cases certain Java 1.4 vms came to within 4% of assembly. But...
ok guys its an interesting topic but please DO NOT copy large sections of web pages & post them here, esp REPEATEDLY, thank you very much Im about to bail out...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
