Eldar Fischer, Yonatan Goldhirsh, Oded Lachish. Testing Formula Satisfaction. In Fedor V. Fomin, Petteri Kaski, editors, Algorithm Theory - SWAT 2012 - 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings. Volume 7357 of Lecture Notes in Computer Science, pages 376-387, Springer, 2012. [doi]
Abstract is missing.