A framework for Satisfiability Modulo Theories.

Daniel Kroening Ofer Strichman

Published in: Formal Aspects Comput. (2009)

Keyphrases

genetic algorithm
artificial intelligence
search algorithm
lower bound
special case
rough sets