Login / Signup
A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams.
Jérôme Leroux
Published in:
LICS (2005)
Keyphrases
</>
computational complexity
special case
decision diagrams