On a general framework for large-scale constraint-based optimization | ACM SIGART Bulletin | DeepDyve