Login / Signup
On Algorithms and Complexity for Sets with Cardinality Constraints.
Viktor Kuncak
Martin C. Rinard
Bruno Marnette
Published in:
Deduction and Applications (2005)
Keyphrases
</>
computational complexity
worst case
optimization problems
domain knowledge
space complexity