C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Satisfiability Checking: Theory and Applications.
Erika Ábrahám
Gereon Kremer
Published in:
SEFM (2016)
Keyphrases
</>
theoretical framework
case study
theoretical basis
general theory
genetic algorithm
decision making
bayesian networks
control system