> Dear Haskellers,
>
> Today I searched over more than an hour on the web to
> find an implementation of an algorithm that was first
> written in the 1970's that solves 2-Conjuntive Normal
> Form logical sentences in polynomial time.
I don't recall the exact algorithm, but here are some observat
Dear Haskellers,
Today I searched over more than an hour on the web to
find an implementation of an algorithm that was first
written in the 1970's that solves 2-Conjuntive Normal
Form logical sentences in polynomial time.
The only thing I could find were some homework
assignments for students of
