Login / Signup
Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz.
Jörg Würtz
Published in:
WLP (1993)
Keyphrases
</>
constraint language
model checking
orders of magnitude
computational complexity
dynamic programming
object oriented