395AIMA source - Problem in DPLL implmentation
- Sep 15, 2004I 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?
- Next post in topic >>