Sign in
Inferring Complexity Bounds from Recurrence Relations.
Didier Ishimwe
Published in:
ESEC/SIGSOFT FSE (2023)
Keyphrases
</>
complexity bounds
worst case
constraint networks
special case
query containment
metadata
response time
constraint satisfaction problems
inference rules
theorem prover