metaSMT: Focus On Your Application And Not On Solver Integration

@article{pub8379,
    author = {

Riener, Heinz
 and 

Haedicke, Finn
 and 

Frehse, Stefan
 and 

Soeken, Mathias
 and 

Große, Daniel
 and 

Drechsler, Rolf
 and 

Fey, Görschwin
},
    title = {metaSMT: Focus On Your Application And Not On Solver Integration},
    year = {2016},
    journal = {International Journal on Software Tools for Technology Transfer (STTT)},
    publisher = {Springer}
}