Sign in

Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories.

Aina NiemetzMathias PreinerArmin Biere
Published in: CAV (1) (2016)
Keyphrases
  • search algorithm
  • search space
  • genetic algorithm
  • tabu search
  • modulo theories
  • satisfiability modulo theories
  • rough sets
  • simulated annealing
  • orders of magnitude