Bruno Apolloni, Fabio Baraghini, Giorgio Palmas. PAC Meditation on Boolean Formulas. In Sven Koenig, Robert C. Holte, editors, Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings. Volume 2371 of Lecture Notes in Computer Science, pages 274-281, Springer, 2002. [doi]
Abstract is missing.