Stefan S. Dantchev, Frank D. Valencia
On the computational limits of infinite satisfaction
SAC, 2005.
@inproceedings{SAC-2005-DantchevV,
author = "Stefan S. Dantchev and Frank D. Valencia",
booktitle = "{Proceedings of the 20th Symposium on Applied Computing}",
doi = "10.1145/1066677.1066768",
editor = "Hisham Haddad and Lorie M. Liebrock and Andrea Omicini and Roger L. Wainwright",
isbn = "1-58113-964-0",
pages = "393--397",
publisher = "{ACM}",
title = "{On the computational limits of infinite satisfaction}",
year = 2005,
}