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