Comment by klft

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