This page shows all presentations of this author published in EasyChair Smart Slide.
SCL -- Clause Learning from Simple Models
Alberto Fiori and Christoph Weidenbach