On the Computational Limits of Infinite Satisfaction.
(2005)
Presentation / Conference Contribution
Dantchev, S., & Valencia, F. (2005, March). On the Computational Limits of Infinite Satisfaction. Presented at The 20th Annual ACM Symposium on Applied Computing, Santa Fe, USA
Research Repository