Dies ist eine statische Kopie unseres alten Forums. Es sind keine Interaktionen möglich.
This is a static copy of our old forum. Interactions are not possible.

FSW16

Trainee

  • "FSW16" is male
  • "FSW16" started this thread

Posts: 119

Date of registration: Jun 25th 2008

Location: Hildesheim

1

Tuesday, August 24th 2010, 5:57pm

Logik DPLL-Algorithmus

Hi,

im Repetitorium zur Logik-Klausur wurde erwähnt dass wir den DPLL-Alogorithmus können müssen, wenn ich das richtig mitbekommen habe. Nur leider finde ich in meinen Unterlangen keine einzige Aufgabe zu dem Algorithmus, sondern nur zum normalem Davis-Putnam-Allgorithmus.
Deswegen wollte ich fragen, ob jemand von euch eine Aufgabe+Lösung zu diesem Allgorithmus hat und mir schicken könnte. (Am besten wäre natürlich von der diesjährigen Vorlesung)

MfG FSW


Edit: Oder gibt es für den Algorithmus noch einen anderen Namen, weswegen ich ihn nicht in den Übungsblätter finde?

This post has been edited 1 times, last edit by "FSW16" (Aug 25th 2010, 4:09pm)

  • Send private message

miata

Praktikant

  • "miata" is female

Posts: 20

Date of registration: Aug 28th 2010

2

Sunday, August 29th 2010, 11:23am

Das kam einmal in der Vorlesung dran soviel ich weiß, hab was in den Unterlagen, müsste scannen.

This post has been edited 1 times, last edit by "miata" (Aug 29th 2010, 12:21pm)

  • Send private message

miata

Praktikant

  • "miata" is female

Posts: 20

Date of registration: Aug 28th 2010

3

Sunday, August 29th 2010, 12:23pm

1. Seite: http://img830.imageshack.us/img830/8369/img041i.jpg (Algorithmus fängt unten an)

2. Seite: http://img90.imageshack.us/img90/6227/img042f.jpg

Ich hoffe man kann es lesen. :)

This post has been edited 1 times, last edit by "miata" (Aug 29th 2010, 12:24pm)

  • Send private message

FSW16

Trainee

  • "FSW16" is male
  • "FSW16" started this thread

Posts: 119

Date of registration: Jun 25th 2008

Location: Hildesheim

4

Sunday, August 29th 2010, 12:44pm

Vielen Dank miata.
  • Send private message