Joao Marques-Silva

Posted by on Saturday, January 28, 2012 · Leave a Comment 

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.

 

Filed under Talks · Tagged with

Comments are closed.