Supercharging plant configurations using Z3
scientific article; zbMATH DE number 7493618
scientific article