Instantiation of SMT Problems Modulo Integers.

Mnacho Echenim Nicolas Peltier

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

difficult problems
problems involving
solving problems
knowledge base
similarity measure
optimization problems
np complete
combinatorial optimization
related problems