'Ip99 ipz01' presentation slideshows

Beating Brute Force Search for Formula SAT and QBF SAT

Beating Brute Force Search for Formula SAT and QBF SAT. Rahul Santhanam University of Edinburgh. Plan of the Talk. Introduction A New Upper Bound for Formula SAT The Algorithm The Analysis Other Applications of Technique New Upper Bounds for QBF SAT Future Directions.

653 views • 50 slides