Newsgroups: comp.ai.genetic
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!pipex!lyra.csx.cam.ac.uk!sunsite.doc.ic.ac.uk!cs.city.ac.uk!city!exeter!ad178
From: SHIRLEY C B <ad178@city.ac.uk>
Subject: Genetic algorithms & satisfiability problem for logic DNF
X-Sender: ad178@exeter
Content-Type: TEXT/PLAIN; charset=US-ASCII
Message-ID: <Pine.SOL.3.91.941123221010.20459A-100000@exeter>
Sender: news@city.ac.uk (Unix Network News)
Nntp-Posting-Host: exeter
Organization: The City University
Mime-Version: 1.0
Date: Wed, 23 Nov 1994 22:14:29 +0000
Lines: 14


Hi

Can anyone point me in the direction of research into genetic algorithms 
& programs that will provided a solution to the satisfiability problem 
for disjunctive normal forms in logic.

I am aware of some research and development done by a postgrad in Germany 
but have not yet found any further information.

Regards

Clive (Undergad BSc (Hons) computer science - City University)

