Satisfiability modulo theories for process systems engineering.

Miten Mistry Andrea Callia D'Iddio Michael Huth Ruth Misener

Published in: Comput. Chem. Eng. (2018)

Keyphrases

systems engineering
requirements engineering
software engineering
machine learning
systems development
information retrieval
artificial intelligence
np hard