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]
No references recorded for this publication.
No citations of this publication recorded.