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

398Re: AIMA source - Problem in DPLL implmentation

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



      --- 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