Login / Signup
Counterexample guided inductive optimization based on satisfiability modulo theories.
Rodrigo F. Araujo
Higo F. Albuquerque
Iury Valente de Bessa
Lucas C. Cordeiro
João Edgar Chaves Filho
Published in:
Sci. Comput. Program. (2018)
Keyphrases
</>
optimization problems
model checking
decision trees
object oriented
np complete