Comment on Shunting-yard algorithmparentComments−fooker7yEncode it into a SAT instance and use a solver.
Comments
Encode it into a SAT instance and use a solver.