2. Matti Järvisalo gives an invited tutorial on SAT Preprocessing at BIRS

Matti Järvisalo gives an invited tutorial on SAT Preprocessing at BIRS

Mon, 20.01.2014

The tutorial was part of the 5-day workshop on Theoretical Foundations of Applied SAT Solving at the Banff International Research Station (BIRS), Canada.

Last updated on 30 Jan 2014 by Matti Järvisalo - Page created on 20 Jan 2014 by Matti Järvisalo