All, In response to Vladimir's invitation to introduce ourselves, I'm writing a bit about my background and interests. I attended Stanford University, earning...
297
Stas Busygin
busygin@...
Dec 8, 1998 6:32 pm
Hi All, I've begun benchmarking for my SAT01 solver on DIMACS SAT instances and I'm ready now to declare the first result. One group of unsolvable instances...
298
Vladimir Z. Nuri
vznuri@...
Dec 9, 1998 1:40 am
recently from comp.theory, FWIW .. there is some discussion there ... From: rosi <rosi@...> Newsgroups: sci.crypt,sci.math,comp.theory Subject: NP=coNP...
299
Vladimir Z. Nuri
vznuri@...
Dec 10, 1998 4:41 am
don't think I posted this one. more news.. going beyond face recognition to catch crimes in action.. ... - ------- Forwarded Message Date: Thu, 3 Dec...
300
SuperRyan@...
Dec 11, 1998 7:15 am
... I think the responses on comp.theory pretty much settles the matter. The author of the article has a slight misunderstanding concerning what NTM actually...
301
Stas Busygin
busygin@...
Dec 11, 1998 2:58 pm
Hi All, After two days of working with DIMACS SAT instances I was astonished by a gross blunder in one group of *.cnf files. Many of ii*.cnf instances from ...
302
Stas Busygin
busygin@...
Dec 11, 1998 6:33 pm
Ok, I've understood what was going on. ii*.cnf files include multiple lines clauses and my converter to SAT01 processed them incorrectly. According to DIMACS...
303
Dan Pehoushek
jdpeh@...
Dec 12, 1998 3:28 pm
My new email address is jdp@... Can't send mail yet, due to startup problems. Vlad, please add my new address to the list. Don't remove the old one yet...
304
Stas Busygin
busygin@...
Dec 13, 1998 1:05 am
Hi Dan, ... simpler. ... I don't know any document specifying the one-clause-per-line format used by the version of ORB you sent me. DIMACS specification ...
305
Dan Pehoushek
jdpeh@...
Dec 13, 1998 8:23 am
... Yes. I believe most of the files use "p cnf N M" format, with N variables and M disjunctions, with a single line per disjunction, and lines beginning with...
306
Vladimir Z. Nuri
vznuri@...
Dec 14, 1998 1:39 am
hi SB well, the dimacs archives are not totally clean and spotless I am sure, but don't you think their existence is a neat tool for SAT researchers? there...
307
Klaus D. Witzel
kwitzel@...
Dec 15, 1998 10:12 am
I would be very interested in your timing + space results for the following two DIMACS cases: aim-100-1_6-no-1.cnf aim-100-1_6-yes1-1.cnf Both are "entry...
308
p.hines
max003@...
Dec 15, 1998 7:00 pm
Hi, folks - sorry for the absence. Anyway, I was at a conference last week, where someone gave a talk that is probably of interest to this group. Basically, it...
309
Derik Hawley.
dhawley@...
Dec 15, 1998 7:41 pm
From: p.hines <max003@...> ... I know a fair amount about games theory, and some of its links with theoretic computation, I think I can help but I am...
310
Vladimir Z. Nuri
vznuri@...
Dec 15, 1998 11:01 pm
Peter, how about a URL for that conference? what was the name?? c'mon!! if you guys are gonna post, at least include just a TEENY bit of the obvious info!! ok...
311
Vladimir Z. Nuri
vznuri@...
Dec 15, 1998 11:19 pm
hello, here are a few ideas I have been having recently on P vs. NP. basically the core of the problem is to prove that a particular task cannot be performed...
312
Vladimir Z. Nuri
vznuri@...
Dec 16, 1998 7:51 pm
there seems to be a slight glitch with the list software last nite in which it started to ask me to moderate/approve postings.. including my own!! this is a...
313
Vladimir Z. Nuri
vznuri@...
Dec 16, 1998 8:02 pm
I'm going to go ahead and repost the posts that didn't make it.. hopefully the egroups bozos will not resend those other msgs again, but I don't know....
314
Vladimir Z. Nuri
vznuri@...
Dec 16, 1998 8:10 pm
just a quick comment while I am typing in this msg. these results are quite remarkable if correct and I hope to explore them further on the list. also am ...
315
Vladimir Z. Nuri
vznuri@...
Dec 16, 1998 8:11 pm
... To: theory-edge@egroups.com From: Jeffrey Considine <jconsidi@...> Subject: Re: [theory-edge] musings on P vs. NP Date: Wed, 16 Dec 1998 00:18:44...
316
Dan
jdp@...
Dec 18, 1998 10:20 am
Stas, your results do look interesting. If you'd like to try some other instances, I'd be happy to discuss them via email. Zero backtacks on pigeon hole is...
317
Stas Busygin
busygin@...
Dec 19, 1998 1:57 am
Hi All, I've accomplished new trial version of SAT01 solver and put it on my NP-Completeness Page. So, please visit http://www.busygin.dp.ua/npc.html and...
318
Klaus D. Witzel
kwitzel@...
Dec 19, 1998 6:22 am
Stas, intriguing Web, big knowledge, many words, much to learn for the visitor, thanx for making that available! Would suggest you rephrase or cancel "Also I'd...
319
Stas Busygin
busygin@...
Dec 19, 1998 12:46 pm
... I meant this Vladimir's phrase from ... representation ... terms, ... I think that CNF is a very artificial (i.e. unnatural) form to represent information....
320
Vladimir Z. Nuri
vznuri@...
Dec 20, 1998 10:45 pm
yikes, I'm being held accountable for what I wrote, eeks!! hehehe.. quoting my most melodramatic statement on that web page Stas!! I assure everyone the rest...
321
Vladimir Z. Nuri
vznuri@...
Dec 20, 1998 11:06 pm
a few quick early comments on Stas' algorithm.. the simplex method in "dynamic programming" is one of the most important algoirthms discovered in this century,...
322
Klaus D. Witzel
kwitzel@...
Dec 21, 1998 1:01 pm
... melodramatic ... IC. ... You have me as a very strong supporter! I have developed a theory where the nature of connectives is not important and, for a...
323
Klaus D. Witzel
kwitzel@...
Dec 22, 1998 10:17 am
I was invited by Vlad and others via emails to discuss my views on theory of logic with subscribers of theory edge. Let me begin with a brief introduction of...
324
Stas Busygin
busygin@...
Dec 22, 1998 5:07 pm
Hi All, Because of some technical problems in my home phone line I'm temporary unable to participate in the discussion and to publish materials via Web. :-(( I...
325
Vladimir Z. Nuri
vznuri@...
Dec 24, 1998 2:02 am
happy holidays to everyone. thought I would take a moment away from the theory-edge-brain-cramping-thinking to reflect on the year here!! I would like to thank...
