Re: 3 SAT instance generator from DES

From: Douglas Eagleson (eaglesondouglas_at_yahoo.com)
Date: 10/29/05


Date: 29 Oct 2005 09:18:27 -0700


Douglas Eagleson wrote:
> crasmarum@gmail.com 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
> encrypt.
>
> 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.