Authors Search About

Griggio, Alberto

1 publications

JAIR 2011 Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy