https://123dok.com/document/yje42nmq-meminimalkan-boolean-kendala-persamaan-diponegoro-university-institutional-repository.html