“Indeed, the key to writing efficient software that ferrets out every last dollar is to see beyond the distracting particulars of a real-world problem and map it onto a well-known formal problem.”
Clearing an auction looks like a messy business problem. It is an NP-hard optimization problem that solvers handle fine in practice. The trick is recognizing the textbook problem underneath the spreadsheet. Most expensive custom software exists because nobody did.