Login / Signup
Robustness and efficiency of geometric programs: The Predicate Construction Kit (PCK).
Bruno Lévy
Published in:
Comput. Aided Des. (2016)
Keyphrases
</>
first order logic