Supercharging Plant Configurations Using Z3.

Nikolaj Bjørner Maxwell Levatich Nuno P. Lopes Andrey Rybalchenko Chandrasekar Vuppalapati

Published in: CPAIOR (2021)

Keyphrases

control system
real time
objective function
expert systems
machine learning
genetic algorithm
preprocessing
fuzzy rules
configuration space
manufacturing process
water treatment