OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
Additional information
Authors
Sharygina N.,
Hyvärinen A.,
Marescotti M.,
Alt L.
Type
Article in conference proceedings
Year
2016
Language
English
Meeting name
19th SAT 2016
Meeting place
Bordeaux, France
Meeting date
July 5-8, 2016
