1-SAT, 2-SAT, and 3-SAT

From: Andy Stocker (stocker_andy_at_yahoo.com)
Date: 01/07/04


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.