Login / Signup
Optimizations for Compiling Declarative Models into Boolean Formulas.
Darko Marinov
Sarfraz Khurshid
Suhabe Bugrara
Lintao Zhang
Martin C. Rinard
Published in:
SAT (2005)
Keyphrases
</>