Roberto Giaccio. On-line Algorithms for Satisfiability Problems with Uncertainty. In Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer, editors, Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG 94, Herrsching, Germany, June 16-18, 1994, Proceedings. Volume 903 of Lecture Notes in Computer Science, pages 371-386, Springer, 1994.
Abstract is missing.