Joao Marques-Silva

Practical Algorithms for Minimal Unsatisfiable Core Extraction

DATE:Wednesday, January 25, 2012

At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.

 

Comments are closed.