Skip to content

A constraint solver for sequences and its applications.

Nikolai Kosmatov

Year2006
ProceedingsSAC

Browse the full SAC paper archive.