Mathematical programming: Turing completeness and applications to software analysisLeo LibertiFabrizio Marinelli2014J Combin Optim