Re: NP vs co-NP
- From: "Fra" <fra.cristiano@xxxxxxxxx>
- Date: Sun, 13 Jul 2008 13:03:55 GMT
<cplxphil@xxxxxxxxx> has written news:fe229ad0-67e6-409a-97d0-
Yes, SAT is reducible to TAUTOLOGY;
Can you cite some references about this?
I knew only what is written here (Claim 4):
http://zoo.cs.yale.edu/classes/cs468/hw1.pdf
.
- Follow-Ups:
- Re: NP vs co-NP
- From: cplxphil
- Re: NP vs co-NP
- References:
- Re: NP vs co-NP
- From: cplxphil
- Re: NP vs co-NP
- Prev by Date: Re: NP vs co-NP
- Next by Date: Re: Context free languages
- Previous by thread: Re: NP vs co-NP
- Next by thread: Re: NP vs co-NP
- Index(es):
