Search-Space Partitioning for Parallelizing SMT Solvers
Additional information
Authors
Sharygina N.,
Hyvärinen A.,
Marescotti M.
Type
Article in conference proceedings
Year
2015
Language
English
Meeting name
18th SAT 2015
Meeting place
Austin, TX, USA
Meeting date
September 24-27, 2015
