• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Satisfiability modulo theories for process systems engineering.

Miten MistryAndrea Callia D'IddioMichael HuthRuth Misener
Published in: Comput. Chem. Eng. (2018)
Keyphrases
  • systems engineering
  • requirements engineering
  • software engineering
  • machine learning
  • systems development
  • information retrieval
  • artificial intelligence
  • np hard