Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

I wish you humans would leave me alone.

devel / comp.theory / Re: clause learning in #sat gives wrong answer numbers

SubjectAuthor
* clause learning in #sat gives wrong answer numbersDaniel Pehoushek
`* clause learning in #sat gives wrong answer numbersJeffrey Rubard
 +* clause learning in #sat gives wrong answer numbersJeffrey Rubard
 |`* clause learning in #sat gives wrong answer numbersDaniel Pehoushek
 | `* clause learning in #sat gives wrong answer numbersGreta Baine
 |  `* clause learning in #sat gives wrong answer numbersJeffrey Rubard
 |   `* clause learning in #sat gives wrong answer numbersJeffrey Rubard
 |    `* clause learning in #sat gives wrong answer numbersJeffrey Rubard
 |     `* clause learning in #sat gives wrong answer numbersJeffrey Rubard
 |      `* clause learning in #sat gives wrong answer numbersJeffrey Rubard
 |       `- clause learning in #sat gives wrong answer numbersJeffrey Rubard
 `- clause learning in #sat gives wrong answer numbersB.H.

1
clause learning in #sat gives wrong answer numbers

<3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=38996&group=comp.theory#38996

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a37:6905:0:b0:6bb:5827:e658 with SMTP id e5-20020a376905000000b006bb5827e658mr17971808qkc.735.1661991112103;
Wed, 31 Aug 2022 17:11:52 -0700 (PDT)
X-Received: by 2002:a81:8705:0:b0:33b:cc9b:b182 with SMTP id
x5-20020a818705000000b0033bcc9bb182mr20163549ywf.248.1661991111915; Wed, 31
Aug 2022 17:11:51 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Wed, 31 Aug 2022 17:11:51 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:774c:5000:3414:d1d7:850a:2079;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:774c:5000:3414:d1d7:850a:2079
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
Subject: clause learning in #sat gives wrong answer numbers
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Thu, 01 Sep 2022 00:11:52 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 1
 by: Daniel Pehoushek - Thu, 1 Sep 2022 00:11 UTC

so is clause learning also wrong in straight sat or unsat?
daniel

Re: clause learning in #sat gives wrong answer numbers

<8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39300&group=comp.theory#39300

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:622a:1986:b0:343:225d:f9e1 with SMTP id u6-20020a05622a198600b00343225df9e1mr455752qtc.651.1662498984464;
Tue, 06 Sep 2022 14:16:24 -0700 (PDT)
X-Received: by 2002:a25:2e50:0:b0:669:9a76:beb with SMTP id
b16-20020a252e50000000b006699a760bebmr456465ybn.597.1662498984087; Tue, 06
Sep 2022 14:16:24 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Tue, 6 Sep 2022 14:16:23 -0700 (PDT)
In-Reply-To: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=208.71.200.99; posting-account=0pheVgoAAACKj674Kl3qdRoiYysIz_ok
NNTP-Posting-Host: 208.71.200.99
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com>
Subject: Re: clause learning in #sat gives wrong answer numbers
From: jeffreyd...@gmail.com (Jeffrey Rubard)
Injection-Date: Tue, 06 Sep 2022 21:16:24 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 4
 by: Jeffrey Rubard - Tue, 6 Sep 2022 21:16 UTC

On Wednesday, August 31, 2022 at 5:11:53 PM UTC-7, pehou...@gmail.com wrote:
> so is clause learning also wrong in straight sat or unsat?
> daniel

The Satisfiability problem is really pretty impossible to think about.

Re: clause learning in #sat gives wrong answer numbers

<a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39450&group=comp.theory#39450

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:622a:205:b0:343:282:3d0e with SMTP id b5-20020a05622a020500b0034302823d0emr17860250qtx.436.1662851405761;
Sat, 10 Sep 2022 16:10:05 -0700 (PDT)
X-Received: by 2002:a25:af41:0:b0:6a9:3f9c:b84e with SMTP id
c1-20020a25af41000000b006a93f9cb84emr17357254ybj.537.1662851405463; Sat, 10
Sep 2022 16:10:05 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 10 Sep 2022 16:10:05 -0700 (PDT)
In-Reply-To: <8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=208.71.200.86; posting-account=0pheVgoAAACKj674Kl3qdRoiYysIz_ok
NNTP-Posting-Host: 208.71.200.86
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com> <8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>
Subject: Re: clause learning in #sat gives wrong answer numbers
From: jeffreyd...@gmail.com (Jeffrey Rubard)
Injection-Date: Sat, 10 Sep 2022 23:10:05 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1590
 by: Jeffrey Rubard - Sat, 10 Sep 2022 23:10 UTC

On Tuesday, September 6, 2022 at 2:16:25 PM UTC-7, Jeffrey Rubard wrote:
> On Wednesday, August 31, 2022 at 5:11:53 PM UTC-7, pehou...@gmail.com wrote:
> > so is clause learning also wrong in straight sat or unsat?
> > daniel
> The Satisfiability problem is really pretty impossible to think about.

The Cook-Levin theorem has stood unaugmented for decades, for example.

Re: clause learning in #sat gives wrong answer numbers

<5c6661bf-15dd-4ff5-a677-e3ecd1a74620n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39492&group=comp.theory#39492

  copy link   Newsgroups: comp.theory
X-Received: by 2002:ac8:5896:0:b0:35b:ba98:ca56 with SMTP id t22-20020ac85896000000b0035bba98ca56mr564774qta.465.1662984261066;
Mon, 12 Sep 2022 05:04:21 -0700 (PDT)
X-Received: by 2002:a0d:e942:0:b0:333:b5fb:a39c with SMTP id
s63-20020a0de942000000b00333b5fba39cmr22651310ywe.345.1662984260772; Mon, 12
Sep 2022 05:04:20 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Mon, 12 Sep 2022 05:04:20 -0700 (PDT)
In-Reply-To: <a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:774c:5000:b9dd:b7:df80:825d;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:774c:5000:b9dd:b7:df80:825d
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
<8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com> <a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5c6661bf-15dd-4ff5-a677-e3ecd1a74620n@googlegroups.com>
Subject: Re: clause learning in #sat gives wrong answer numbers
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Mon, 12 Sep 2022 12:04:21 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2060
 by: Daniel Pehoushek - Mon, 12 Sep 2022 12:04 UTC

On Saturday, September 10, 2022 at 7:10:06 PM UTC-4, Jeffrey Rubard wrote:
> On Tuesday, September 6, 2022 at 2:16:25 PM UTC-7, Jeffrey Rubard wrote:
> > On Wednesday, August 31, 2022 at 5:11:53 PM UTC-7, pehou...@gmail.com wrote:
> > > so is clause learning also wrong in straight sat or unsat?
> > > daniel
> > The Satisfiability problem is really pretty impossible to think about.
> The Cook-Levin theorem has stood unaugmented for decades, for example.
Clause Learning is commonly accepted as a good heuristic for solving satisfiability.
But it is invalid for #sat, due to implied quantifiers.
So, it is also wrong for Satisfiability.
Correct Sat is as hard as qbf (NP=PSPACE).
This appears to be a big new result.
daniel2380++

Re: clause learning in #sat gives wrong answer numbers

<tfqmsh$107$2@gioia.aioe.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39513&group=comp.theory#39513

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!/CVV59p/dF7GIJxg5bXxpA.user.46.165.242.75.POSTED!not-for-mail
From: gettabr...@soon.net (Greta Baine)
Newsgroups: comp.theory
Subject: Re: clause learning in #sat gives wrong answer numbers
Date: Tue, 13 Sep 2022 12:49:36 -0700
Organization: Aioe.org NNTP Server
Message-ID: <tfqmsh$107$2@gioia.aioe.org>
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
<8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com>
<a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>
<5c6661bf-15dd-4ff5-a677-e3ecd1a74620n@googlegroups.com>
Reply-To: gettabrain@soon.net
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="1031"; posting-host="/CVV59p/dF7GIJxg5bXxpA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.13.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Greta Baine - Tue, 13 Sep 2022 19:49 UTC

On 9/12/2022 5:04 AM, Daniel Pehoushek wrote:
> On Saturday, September 10, 2022 at 7:10:06 PM UTC-4, Jeffrey Rubard wrote:
>> On Tuesday, September 6, 2022 at 2:16:25 PM UTC-7, Jeffrey Rubard wrote:
>>> On Wednesday, August 31, 2022 at 5:11:53 PM UTC-7, pehou...@gmail.com wrote:

Get a brain.

Re: clause learning in #sat gives wrong answer numbers

<a4d37f97-c76e-4269-be3c-9a2277e9da0en@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39519&group=comp.theory#39519

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:6214:1c4b:b0:4aa:b3a6:976b with SMTP id if11-20020a0562141c4b00b004aab3a6976bmr31164395qvb.81.1663169115904;
Wed, 14 Sep 2022 08:25:15 -0700 (PDT)
X-Received: by 2002:a81:6643:0:b0:345:eec:d373 with SMTP id
a64-20020a816643000000b003450eecd373mr30996950ywc.172.1663169115519; Wed, 14
Sep 2022 08:25:15 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Wed, 14 Sep 2022 08:25:15 -0700 (PDT)
In-Reply-To: <tfqmsh$107$2@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=50.237.207.214; posting-account=0pheVgoAAACKj674Kl3qdRoiYysIz_ok
NNTP-Posting-Host: 50.237.207.214
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
<8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com> <a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>
<5c6661bf-15dd-4ff5-a677-e3ecd1a74620n@googlegroups.com> <tfqmsh$107$2@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a4d37f97-c76e-4269-be3c-9a2277e9da0en@googlegroups.com>
Subject: Re: clause learning in #sat gives wrong answer numbers
From: jeffreyd...@gmail.com (Jeffrey Rubard)
Injection-Date: Wed, 14 Sep 2022 15:25:15 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1850
 by: Jeffrey Rubard - Wed, 14 Sep 2022 15:25 UTC

On Tuesday, September 13, 2022 at 12:49:40 PM UTC-7, Greta Baine wrote:
> On 9/12/2022 5:04 AM, Daniel Pehoushek wrote:
> > On Saturday, September 10, 2022 at 7:10:06 PM UTC-4, Jeffrey Rubard wrote:
> >> On Tuesday, September 6, 2022 at 2:16:25 PM UTC-7, Jeffrey Rubard wrote:
> >>> On Wednesday, August 31, 2022 at 5:11:53 PM UTC-7, pehou...@gmail.com wrote:
> Get a brain.

Err, all these "Am I right or am I right?" things people say these days.
Satisfiability is interestingly a difficult problem.

Re: clause learning in #sat gives wrong answer numbers

<48bc607a-a5a1-449a-aa7e-9a7027d7279bn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39532&group=comp.theory#39532

  copy link   Newsgroups: comp.theory
X-Received: by 2002:ad4:5fc5:0:b0:4a4:1fb1:9353 with SMTP id jq5-20020ad45fc5000000b004a41fb19353mr1353295qvb.61.1663274512147;
Thu, 15 Sep 2022 13:41:52 -0700 (PDT)
X-Received: by 2002:a25:af48:0:b0:6a9:455a:ff10 with SMTP id
c8-20020a25af48000000b006a9455aff10mr1599491ybj.84.1663274511629; Thu, 15 Sep
2022 13:41:51 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Thu, 15 Sep 2022 13:41:51 -0700 (PDT)
In-Reply-To: <a4d37f97-c76e-4269-be3c-9a2277e9da0en@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=208.71.200.86; posting-account=0pheVgoAAACKj674Kl3qdRoiYysIz_ok
NNTP-Posting-Host: 208.71.200.86
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
<8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com> <a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>
<5c6661bf-15dd-4ff5-a677-e3ecd1a74620n@googlegroups.com> <tfqmsh$107$2@gioia.aioe.org>
<a4d37f97-c76e-4269-be3c-9a2277e9da0en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <48bc607a-a5a1-449a-aa7e-9a7027d7279bn@googlegroups.com>
Subject: Re: clause learning in #sat gives wrong answer numbers
From: jeffreyd...@gmail.com (Jeffrey Rubard)
Injection-Date: Thu, 15 Sep 2022 20:41:52 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2138
 by: Jeffrey Rubard - Thu, 15 Sep 2022 20:41 UTC

On Wednesday, September 14, 2022 at 8:25:17 AM UTC-7, Jeffrey Rubard wrote:
> On Tuesday, September 13, 2022 at 12:49:40 PM UTC-7, Greta Baine wrote:
> > On 9/12/2022 5:04 AM, Daniel Pehoushek wrote:
> > > On Saturday, September 10, 2022 at 7:10:06 PM UTC-4, Jeffrey Rubard wrote:
> > >> On Tuesday, September 6, 2022 at 2:16:25 PM UTC-7, Jeffrey Rubard wrote:
> > >>> On Wednesday, August 31, 2022 at 5:11:53 PM UTC-7, pehou...@gmail.com wrote:
> > Get a brain.
> Err, all these "Am I right or am I right?" things people say these days.
> Satisfiability is interestingly a difficult problem.

It has never yet been figured out whether P != NP, for example. The brightest minds on the topic aren't too sure.

Re: clause learning in #sat gives wrong answer numbers

<bacbb7a3-7991-4981-9613-306fb94371e4n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39553&group=comp.theory#39553

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:6214:daf:b0:49f:5ce8:e628 with SMTP id h15-20020a0562140daf00b0049f5ce8e628mr5901699qvh.115.1663367817301;
Fri, 16 Sep 2022 15:36:57 -0700 (PDT)
X-Received: by 2002:a25:8407:0:b0:6ae:da9a:4031 with SMTP id
u7-20020a258407000000b006aeda9a4031mr6507144ybk.238.1663367816954; Fri, 16
Sep 2022 15:36:56 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 16 Sep 2022 15:36:56 -0700 (PDT)
In-Reply-To: <48bc607a-a5a1-449a-aa7e-9a7027d7279bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=208.71.200.86; posting-account=0pheVgoAAACKj674Kl3qdRoiYysIz_ok
NNTP-Posting-Host: 208.71.200.86
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
<8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com> <a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>
<5c6661bf-15dd-4ff5-a677-e3ecd1a74620n@googlegroups.com> <tfqmsh$107$2@gioia.aioe.org>
<a4d37f97-c76e-4269-be3c-9a2277e9da0en@googlegroups.com> <48bc607a-a5a1-449a-aa7e-9a7027d7279bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bacbb7a3-7991-4981-9613-306fb94371e4n@googlegroups.com>
Subject: Re: clause learning in #sat gives wrong answer numbers
From: jeffreyd...@gmail.com (Jeffrey Rubard)
Injection-Date: Fri, 16 Sep 2022 22:36:57 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2364
 by: Jeffrey Rubard - Fri, 16 Sep 2022 22:36 UTC

On Thursday, September 15, 2022 at 1:41:53 PM UTC-7, Jeffrey Rubard wrote:
> On Wednesday, September 14, 2022 at 8:25:17 AM UTC-7, Jeffrey Rubard wrote:
> > On Tuesday, September 13, 2022 at 12:49:40 PM UTC-7, Greta Baine wrote:
> > > On 9/12/2022 5:04 AM, Daniel Pehoushek wrote:
> > > > On Saturday, September 10, 2022 at 7:10:06 PM UTC-4, Jeffrey Rubard wrote:
> > > >> On Tuesday, September 6, 2022 at 2:16:25 PM UTC-7, Jeffrey Rubard wrote:
> > > >>> On Wednesday, August 31, 2022 at 5:11:53 PM UTC-7, pehou...@gmail.com wrote:
> > > Get a brain.
> > Err, all these "Am I right or am I right?" things people say these days.
> > Satisfiability is interestingly a difficult problem.
> It has never yet been figured out whether P != NP, for example. The brightest minds on the topic aren't too sure.

We all have "crackpot" theories about it, but so far to no avail.

Re: clause learning in #sat gives wrong answer numbers

<4b5a796b-417e-41d8-ac56-6c0c85f2a9d9n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39617&group=comp.theory#39617

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:622a:96:b0:35c:e4b6:23d4 with SMTP id o22-20020a05622a009600b0035ce4b623d4mr44833qtw.594.1663452113536;
Sat, 17 Sep 2022 15:01:53 -0700 (PDT)
X-Received: by 2002:a37:5385:0:b0:6cd:e7a3:d000 with SMTP id
h127-20020a375385000000b006cde7a3d000mr8559220qkb.463.1663452113237; Sat, 17
Sep 2022 15:01:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 17 Sep 2022 15:01:53 -0700 (PDT)
In-Reply-To: <bacbb7a3-7991-4981-9613-306fb94371e4n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=208.71.200.86; posting-account=0pheVgoAAACKj674Kl3qdRoiYysIz_ok
NNTP-Posting-Host: 208.71.200.86
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
<8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com> <a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>
<5c6661bf-15dd-4ff5-a677-e3ecd1a74620n@googlegroups.com> <tfqmsh$107$2@gioia.aioe.org>
<a4d37f97-c76e-4269-be3c-9a2277e9da0en@googlegroups.com> <48bc607a-a5a1-449a-aa7e-9a7027d7279bn@googlegroups.com>
<bacbb7a3-7991-4981-9613-306fb94371e4n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4b5a796b-417e-41d8-ac56-6c0c85f2a9d9n@googlegroups.com>
Subject: Re: clause learning in #sat gives wrong answer numbers
From: jeffreyd...@gmail.com (Jeffrey Rubard)
Injection-Date: Sat, 17 Sep 2022 22:01:53 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2676
 by: Jeffrey Rubard - Sat, 17 Sep 2022 22:01 UTC

On Friday, September 16, 2022 at 3:36:58 PM UTC-7, Jeffrey Rubard wrote:
> On Thursday, September 15, 2022 at 1:41:53 PM UTC-7, Jeffrey Rubard wrote:
> > On Wednesday, September 14, 2022 at 8:25:17 AM UTC-7, Jeffrey Rubard wrote:
> > > On Tuesday, September 13, 2022 at 12:49:40 PM UTC-7, Greta Baine wrote:
> > > > On 9/12/2022 5:04 AM, Daniel Pehoushek wrote:
> > > > > On Saturday, September 10, 2022 at 7:10:06 PM UTC-4, Jeffrey Rubard wrote:
> > > > >> On Tuesday, September 6, 2022 at 2:16:25 PM UTC-7, Jeffrey Rubard wrote:
> > > > >>> On Wednesday, August 31, 2022 at 5:11:53 PM UTC-7, pehou...@gmail.com wrote:
> > > > Get a brain.
> > > Err, all these "Am I right or am I right?" things people say these days.
> > > Satisfiability is interestingly a difficult problem.
> > It has never yet been figured out whether P != NP, for example. The brightest minds on the topic aren't too sure.
> We all have "crackpot" theories about it, but so far to no avail.

Actual computer scientist: "Well, it appears that partial progress has been made (using very complicated mathematics
you don't know) on the area of..."

Re: clause learning in #sat gives wrong answer numbers

<96d7d044-3cff-4d81-a637-1f14e8b3dad5n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39678&group=comp.theory#39678

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a37:9a8c:0:b0:6cd:ec57:3fe1 with SMTP id c134-20020a379a8c000000b006cdec573fe1mr10929498qke.139.1663538868443;
Sun, 18 Sep 2022 15:07:48 -0700 (PDT)
X-Received: by 2002:a05:620a:2849:b0:6a6:5998:f743 with SMTP id
h9-20020a05620a284900b006a65998f743mr11489455qkp.757.1663538868154; Sun, 18
Sep 2022 15:07:48 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sun, 18 Sep 2022 15:07:47 -0700 (PDT)
In-Reply-To: <4b5a796b-417e-41d8-ac56-6c0c85f2a9d9n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=198.236.192.210; posting-account=0pheVgoAAACKj674Kl3qdRoiYysIz_ok
NNTP-Posting-Host: 198.236.192.210
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
<8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com> <a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>
<5c6661bf-15dd-4ff5-a677-e3ecd1a74620n@googlegroups.com> <tfqmsh$107$2@gioia.aioe.org>
<a4d37f97-c76e-4269-be3c-9a2277e9da0en@googlegroups.com> <48bc607a-a5a1-449a-aa7e-9a7027d7279bn@googlegroups.com>
<bacbb7a3-7991-4981-9613-306fb94371e4n@googlegroups.com> <4b5a796b-417e-41d8-ac56-6c0c85f2a9d9n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <96d7d044-3cff-4d81-a637-1f14e8b3dad5n@googlegroups.com>
Subject: Re: clause learning in #sat gives wrong answer numbers
From: jeffreyd...@gmail.com (Jeffrey Rubard)
Injection-Date: Sun, 18 Sep 2022 22:07:48 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 18
 by: Jeffrey Rubard - Sun, 18 Sep 2022 22:07 UTC

On Saturday, September 17, 2022 at 3:01:54 PM UTC-7, Jeffrey Rubard wrote:
> On Friday, September 16, 2022 at 3:36:58 PM UTC-7, Jeffrey Rubard wrote:
> > On Thursday, September 15, 2022 at 1:41:53 PM UTC-7, Jeffrey Rubard wrote:
> > > On Wednesday, September 14, 2022 at 8:25:17 AM UTC-7, Jeffrey Rubard wrote:
> > > > On Tuesday, September 13, 2022 at 12:49:40 PM UTC-7, Greta Baine wrote:
> > > > > On 9/12/2022 5:04 AM, Daniel Pehoushek wrote:
> > > > > > On Saturday, September 10, 2022 at 7:10:06 PM UTC-4, Jeffrey Rubard wrote:
> > > > > >> On Tuesday, September 6, 2022 at 2:16:25 PM UTC-7, Jeffrey Rubard wrote:
> > > > > >>> On Wednesday, August 31, 2022 at 5:11:53 PM UTC-7, pehou...@gmail.com wrote:
> > > > > Get a brain.
> > > > Err, all these "Am I right or am I right?" things people say these days.
> > > > Satisfiability is interestingly a difficult problem.
> > > It has never yet been figured out whether P != NP, for example. The brightest minds on the topic aren't too sure.
> > We all have "crackpot" theories about it, but so far to no avail.
> Actual computer scientist: "Well, it appears that partial progress has been made (using very complicated mathematics
> you don't know) on the area of..."

"You're not an actual computer scientist."
You're right, you wouldn't get "expert knowledge" on the topic from me.

Re: clause learning in #sat gives wrong answer numbers

<6db139e4-e42d-4cb6-b2b3-d5aae4812913n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39715&group=comp.theory#39715

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:620a:219a:b0:6ce:4164:e22c with SMTP id g26-20020a05620a219a00b006ce4164e22cmr14436840qka.214.1663635002533;
Mon, 19 Sep 2022 17:50:02 -0700 (PDT)
X-Received: by 2002:a05:622a:c2:b0:35c:f6ca:477b with SMTP id
p2-20020a05622a00c200b0035cf6ca477bmr1428219qtw.289.1663635002207; Mon, 19
Sep 2022 17:50:02 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Mon, 19 Sep 2022 17:50:02 -0700 (PDT)
In-Reply-To: <96d7d044-3cff-4d81-a637-1f14e8b3dad5n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=208.71.200.99; posting-account=0pheVgoAAACKj674Kl3qdRoiYysIz_ok
NNTP-Posting-Host: 208.71.200.99
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com>
<8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com> <a286963d-86b4-4806-a92d-e9a8e2a35d5en@googlegroups.com>
<5c6661bf-15dd-4ff5-a677-e3ecd1a74620n@googlegroups.com> <tfqmsh$107$2@gioia.aioe.org>
<a4d37f97-c76e-4269-be3c-9a2277e9da0en@googlegroups.com> <48bc607a-a5a1-449a-aa7e-9a7027d7279bn@googlegroups.com>
<bacbb7a3-7991-4981-9613-306fb94371e4n@googlegroups.com> <4b5a796b-417e-41d8-ac56-6c0c85f2a9d9n@googlegroups.com>
<96d7d044-3cff-4d81-a637-1f14e8b3dad5n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6db139e4-e42d-4cb6-b2b3-d5aae4812913n@googlegroups.com>
Subject: Re: clause learning in #sat gives wrong answer numbers
From: jeffreyd...@gmail.com (Jeffrey Rubard)
Injection-Date: Tue, 20 Sep 2022 00:50:02 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3212
 by: Jeffrey Rubard - Tue, 20 Sep 2022 00:50 UTC

On Sunday, September 18, 2022 at 3:07:49 PM UTC-7, Jeffrey Rubard wrote:
> On Saturday, September 17, 2022 at 3:01:54 PM UTC-7, Jeffrey Rubard wrote:
> > On Friday, September 16, 2022 at 3:36:58 PM UTC-7, Jeffrey Rubard wrote:
> > > On Thursday, September 15, 2022 at 1:41:53 PM UTC-7, Jeffrey Rubard wrote:
> > > > On Wednesday, September 14, 2022 at 8:25:17 AM UTC-7, Jeffrey Rubard wrote:
> > > > > On Tuesday, September 13, 2022 at 12:49:40 PM UTC-7, Greta Baine wrote:
> > > > > > On 9/12/2022 5:04 AM, Daniel Pehoushek wrote:
> > > > > > > On Saturday, September 10, 2022 at 7:10:06 PM UTC-4, Jeffrey Rubard wrote:
> > > > > > >> On Tuesday, September 6, 2022 at 2:16:25 PM UTC-7, Jeffrey Rubard wrote:
> > > > > > >>> On Wednesday, August 31, 2022 at 5:11:53 PM UTC-7, pehou...@gmail.com wrote:
> > > > > > Get a brain.
> > > > > Err, all these "Am I right or am I right?" things people say these days.
> > > > > Satisfiability is interestingly a difficult problem.
> > > > It has never yet been figured out whether P != NP, for example. The brightest minds on the topic aren't too sure.
> > > We all have "crackpot" theories about it, but so far to no avail.
> > Actual computer scientist: "Well, it appears that partial progress has been made (using very complicated mathematics
> > you don't know) on the area of..."
> "You're not an actual computer scientist."
> You're right, you wouldn't get "expert knowledge" on the topic from me.

But it's a really interesting, complicated question in "complexity theory".

Re: clause learning in #sat gives wrong answer numbers

<8afde7e1-8e56-4f86-a209-395d69c13f76n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39721&group=comp.theory#39721

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:622a:255:b0:35c:f299:5aaf with SMTP id c21-20020a05622a025500b0035cf2995aafmr3760446qtx.578.1663640910815;
Mon, 19 Sep 2022 19:28:30 -0700 (PDT)
X-Received: by 2002:a05:620a:489a:b0:6ce:4014:5455 with SMTP id
ea26-20020a05620a489a00b006ce40145455mr15145112qkb.716.1663640910620; Mon, 19
Sep 2022 19:28:30 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Mon, 19 Sep 2022 19:28:30 -0700 (PDT)
In-Reply-To: <8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=74.110.189.129; posting-account=X_pe-goAAACrVTtZeoCLt7hslVPY2-Uo
NNTP-Posting-Host: 74.110.189.129
References: <3ab84225-cad9-4893-a771-39d92ace7feen@googlegroups.com> <8922be33-a874-4e39-8bb2-4e7d1be2262cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8afde7e1-8e56-4f86-a209-395d69c13f76n@googlegroups.com>
Subject: Re: clause learning in #sat gives wrong answer numbers
From: xlt....@gmail.com (B.H.)
Injection-Date: Tue, 20 Sep 2022 02:28:30 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 3
 by: B.H. - Tue, 20 Sep 2022 02:28 UTC

Yo, Greta Baine sucks.

-Philip

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor