%0 Journal Article %1 journals/jsat/WeberCDHNR19 %A Weber, Tjark %A Conchon, Sylvain %A Déharbe, David %A Heizmann, Matthias %A Niemetz, Aina %A Reger, Giles %D 2019 %J J. Satisf. Boolean Model. Comput. %K dblp %N 1 %P 221-259 %T The SMT Competition 2015-2018. %U http://dblp.uni-trier.de/db/journals/jsat/jsat11.html#WeberCDHNR19 %V 11

@article{journals/jsat/WeberCDHNR19, added-at = {2020-02-26T00:00:00.000+0100}, author = {Weber, Tjark and Conchon, Sylvain and Déharbe, David and Heizmann, Matthias and Niemetz, Aina and Reger, Giles}, biburl = {https://www.bibsonomy.org/bibtex/265f5dabe987aae191d37cfafc073b826/dblp}, ee = {https://doi.org/10.3233/SAT190123}, interhash = {850e9918c15c9f7f6af454a3939aedea}, intrahash = {65f5dabe987aae191d37cfafc073b826}, journal = {J. Satisf. Boolean Model. Comput.}, keywords = {dblp}, number = 1, pages = {221-259}, timestamp = {2020-02-27T11:39:26.000+0100}, title = {The SMT Competition 2015-2018.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat11.html#WeberCDHNR19}, volume = 11, year = 2019 }