Login / Signup

Efficient Term-ITE Conversion for Satisfiability Modulo Theories.

Hyondeuk KimFabio SomenziHoonSang Jin
Published in: SAT (2009)
Keyphrases
  • search space
  • satisfiability modulo theories