Login / Signup
A layered algorithm for quantifier elimination from linear modular constraints.
Ajith K. John
Supratik Chakraborty
Published in:
Formal Methods Syst. Des. (2016)
Keyphrases
</>
computational complexity
linear programming
objective function
machine learning