R. Sebastiani

1 published title

Theory and applications of satisfiability testing-- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, proceedings

(Contributor)

1 edition