By: Whitney French Drew Carlson. From the Wagner Consulting Group By: Tom Wagner.
Quantified Boolean Formula (QBF) Reasoning Bart Selman, Carla Gomes, Ashish Sabharwal Cornell University Feb 13, 2007 Tutorial for Dr. Charles Holland.