pouët.net

but WOW! magic uses google to seem smart!

what?

genug ist genug hardy.

@Adok The method you sketch sounds like the DPLL algorithm (circa the 60's). . For most formula, it will work just fine and fast. But for some instances, it have an exponential runtime. Devising a generator of formula that will take an exponential runtime for that algorithm is a nice exercise left to the reader. Fun fact : there is an infinity of such generators.

@gasman:
you're right about that triangl construction part - i was totally missing it; thanks