399Re: AIMA source - Problem in DPLL implmentation
- Sep 17, 2004Hi Ravi,
Thanks. I did spend little time trying to go through the code to see
if there is anything I can fix myself. But haven't been able to give
sufficient time to that.
Initially I suspected OR statement but found that it happens with
pure AND statements as well e.g., ((A AND (NOT A)) AND B)
--- In email@example.com, "magesmail" <magesmail@y...> wrote:
> *looks* like it's a bug . I'll look into it (and correct the
code ) .
> --- In firstname.lastname@example.org, "talk2ravig" <ravindrag@g...>
> > I was checking out the DPLL implementation in Java. For a small
> > formula having just 2 variables it ran into StackOverflow!!
> > 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
- << Previous post in topic Next post in topic >>