Login / Signup

Generalized Optimization Modulo Theories.

Nestan TsiskaridzeClark W. BarrettCesare Tinelli
Published in: CoRR (2024)
Keyphrases
  • modulo theories
  • optimization problems
  • evolutionary algorithm
  • np hard