Skip to content

On the computational limits of infinite satisfaction.

Stefan S. Dantchev, Frank D. Valencia

Year2005
ProceedingsSAC

Browse the full SAC paper archive.