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

398Re: AIMA source - Problem in DPLL implmentation

Expand Messages
  • magesmail
    Sep 16, 2004
      *looks* like it's a bug . I'll look into it (and correct the code ) .

      --- In aima-talk@yahoogroups.com, "talk2ravig" <ravindrag@g...> wrote:
      > 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