1-SAT, 2-SAT, and 3-SAT
From: Andy Stocker (stocker_andy_at_yahoo.com)
Date: 01/07/04
- Next message: li: "Re: 1-SAT, 2-SAT, and 3-SAT"
- Previous message: Andre: "Re: How transform from Tag system to cyclic tag system?"
- Next in thread: li: "Re: 1-SAT, 2-SAT, and 3-SAT"
- Reply: li: "Re: 1-SAT, 2-SAT, and 3-SAT"
- Reply: Mitch Harris: "Re: 1-SAT, 2-SAT, and 3-SAT"
- Reply: Piotr Wyderski: "Re: 1-SAT, 2-SAT, and 3-SAT"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 7 Jan 2004 10:35:50 -0800
2-SAT is solved (threshold at 1), 3-SAT is not solved yet (threshold
somewhere around 4.2). However what about 1-SAT? Is there a threshold?
rgds: Andy.
- Next message: li: "Re: 1-SAT, 2-SAT, and 3-SAT"
- Previous message: Andre: "Re: How transform from Tag system to cyclic tag system?"
- Next in thread: li: "Re: 1-SAT, 2-SAT, and 3-SAT"
- Reply: li: "Re: 1-SAT, 2-SAT, and 3-SAT"
- Reply: Mitch Harris: "Re: 1-SAT, 2-SAT, and 3-SAT"
- Reply: Piotr Wyderski: "Re: 1-SAT, 2-SAT, and 3-SAT"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
