Would a SQL optimizer use a generic solver as described here or are there special algorithms for such problems?