sequential kalkül
Results 1 to 2 of 2
  1. #1
    Shade's Avatar
    Title
    Elite
    Join Date
    Mar 2002
    Posts
    484
    Thanks
    0
    Thanked 0 Times in 0 Posts

    sequential kalkül& DPLL-verfahren

    kann jemand vielleicht mal erklären wie dieses kalkül geht?ich hab das mir mal angeschaut hab mir gadacht und bin jetzt

    EDIT:
    ich könnt auch hilfe beim DPLL gebrauchen...
    Last edited by Shade; 27-09-2002 at 01:27.
    ALL GLORY TO THE HYPNO TOAD...

  2. #2
    patricasso's Avatar
    Title
    Baccalaureus
    Join Date
    Feb 2002
    Posts
    750
    Thanks
    1
    Thanked 2 Times in 2 Posts
    zum DPLL hätt ich auch eine Frage gehabt (Frage 5 des letzten Tests):

    http://rs6k.feig.at/informatik-forum...&threadid=2551

    Mir kommt übrigens vor, dass beim DPLL immer nur ungültige Lösungen rauskommen müssen (kann aber nicht stimmen, oder?), weil am Ende ja alles weggestrichen wurde.
    http://www.svkukmirn.com + http://www.swc-kukmirn.com

    Topfield TF 5000 PVR 80GB (incl. Alphacrypt) + TF 3000 CIpro (incl. Cryptoworks) + D-BoxII (Sagem - Neutrino :-) + SAB-Explorer CISC + Panasonic DMR-EH52EG-S (80 GB HD/DVD Recorder)... 19,2°E, 13° E
    -----------SUCHE MÜNZTAUSCHPARTNER/INNEN-----------

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •