Dr. Jean-Marie Lagniez

Post-Doc

From February 2012 to February 2013, I was a Post-Doc sponsored
by RiSE at FMV and have mainly been working on
improving SAT solving for hard combinatorial instances and
on improving SAT solvers for extracting minimal unsatisfiable
sets (MUS).