Weighted programming: a programming paradigm for specifying mathematical modelsKevin Batz, Tobias Winkler|Proceedings of the ACM on Programming Languages|2022Cited by 17