398Re: AIMA source - Problem in DPLL implmentation
- Sep 16, 2004hi,
*looks* like it's a bug . I'll look into it (and correct the code ) .
--- In firstname.lastname@example.org, "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?
- << Previous post in topic Next post in topic >>