Loading ...
Sorry, an error occurred while loading the content.

395AIMA source - Problem in DPLL implmentation

Expand Messages
  • talk2ravig
    Sep 15, 2004
    • 0 Attachment
      I was checking out the DPLL implementation in Java. For a small
      formula having just 2 variables it ran into StackOverflow!! Following
      is the formula for which I got the error.

      ((A OR (NOT A)) AND (A OR B))

      Is this a bug or am I missing something?

      Thanks,
      Ravi
    • Show all 5 messages in this topic