News for hackers. Stuff that matters.

A comment on Recognizing when two arithmetic expressions are essentially the same. Parent comment

Re:Recognizing when two arithmetic expressions are essential... by ZephyrP on Tuesday August 22, 2017 @04:26PM (#15076075)
It's kindof funny zmonx, whenever there is a challenge that I think "oh I can do this with a SAT solver", you've already shown up and solved it with Prolog.

I think you've gone for the more 'expressive' variant here. If I were writing SMTLIB directly or using an API, I'd prove the assertion that any possible parenthization is eqv by enumerating & checking them individually :)

[ Parent | on HN ]
Re:Recognizing when two arithmetic expressions are essential... by zmonx on Tuesday August 22, 2017 @04:35PM (#15076138)
This may get out of hand: The task asks not only for all parenthesizations, but also other equivalence classes. The rewrite rules and Prolog in general let you express the equivalence classes reasonably concisely and efficiently.

I'm still always interested also in other approaches, and greatly enjoy your SAT solutions!

[ Parent | on HN ]