Trace Spaces: An Efficient New Technique for State-Space Reduction.

Lisbeth Fajstrup Eric Goubault Emmanuel Haucourt Samuel Mimram Martin Raußen

Published in: ESOP (2012)

Keyphrases

space reduction
image segmentation
special case
state space
scheduling problem