Login / Signup

Generalized Optimization Modulo Theories.

Nestan TsiskaridzeClark W. BarrettCesare Tinelli
Published in: IJCAR (1) (2024)
Keyphrases
  • modulo theories
  • optimization problems
  • knowledge base