Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

about CNF converting

0 views
Skip to first unread message

newbie

unread,
Oct 6, 2008, 7:32:00 AM10/6/08
to
Hi all,

did somebody know if is possible to use a non
deterministic algorithm in order to convert
every boolean propositional formula into
an equivalent CNF formula?

Thanks a lot
Regards


newbie

unread,
Oct 6, 2008, 7:38:19 AM10/6/08
to
"newbie" <new...@newbie.new> ha scritto nel messaggio
news:QGmGk.165519$FR.4...@twister1.libero.it...
obviously non deterministic polynomial I mean

Regards


0 new messages