Or how a problem is represented matters a lot. Going for a constraint solver might be what you want sometimes.
