Re: 3 SAT instance generator from DES
From: Douglas Eagleson (eaglesondouglas_at_yahoo.com)
Date: 29 Oct 2005 09:18:27 -0700
Douglas Eagleson wrote:
> firstname.lastname@example.org wrote:
> > Hi all,
> > Few years ago I've written a Java applet that generates (hard) 3 SAT
> > instances from DES. If someone is interested in this topic, please
> > follow this link:
> > http://marcel.isa-geek.com/applet1/
> > Regards,
> > Marcel
> I am reposting this to the other interested types of people.
> It is the kind of odd thing that needs generalization. A generator of
> the instance is a particular class object that causes the algorithm
> from the symbol. And the DES symbol was decoded and displayed to
> It is good stuff.
> Douglas Eagleson
> Gaitherbsurg, mD usA
I am working on the source code now. Some slight modification for the
IBM IDE is required.