Matti Järvisalo

1 published title

Theory and Applications of Satisfiability Testing - SAT 2013 : 16th international conference, Helsinki, Finland, July 8-12, 2013, proceedings

(Contributor)

1 edition