SAT Tutorial
Von: Thorsten Kiefer (webmaster@nillakaes.de) [Profil]
Datum: 08.02.2008 19:00
Message-ID: <47ac989e$0$18324$6e1ede2f@read.cnntp.org>
Newsgroup: de.sci.informatik.misc
Datum: 08.02.2008 19:00
Message-ID: <47ac989e$0$18324$6e1ede2f@read.cnntp.org>
Newsgroup: de.sci.informatik.misc
Hallo Leute, ich schreibe gerade ein Tutorial zum SAT-Problem. Ich würde mich über Kommentare und Beiträge freuen. http://nillakaes.de/sattutorial/SatTutorial_080207.pdf Grüße Thorsten[ Auf dieses Posting antworten ]
Antworten
- Jan Bruns (08.02.2008 20:29)
- Jan Bruns (09.02.2008 09:42)
- Kalle07 (13.02.2008 13:50)
- Thorsten Kiefer (13.02.2008 15:21)