%0 Conference Paper %1 conf/sat/VyasW19 %A Vyas, Nikhil %A Williams, R. Ryan %B SAT %D 2019 %E Janota, Mikolás %E Lynce, Inês %I Springer %K dblp %P 406-423 %T On Super Strong ETH. %U http://dblp.uni-trier.de/db/conf/sat/sat2019.html#VyasW19 %V 11628 %@ 978-3-030-24258-9

@inproceedings{conf/sat/VyasW19, added-at = {2019-10-10T00:00:00.000+0200}, author = {Vyas, Nikhil and Williams, R. Ryan}, biburl = {https://www.bibsonomy.org/bibtex/20e10dec7106cdf7e3f18ff95f45d1ea4/dblp}, booktitle = {SAT}, crossref = {conf/sat/2019}, editor = {Janota, Mikolás and Lynce, Inês}, ee = {https://doi.org/10.1007/978-3-030-24258-9_28}, interhash = {75fa03486bf30d6b18468d7c38fcdd86}, intrahash = {0e10dec7106cdf7e3f18ff95f45d1ea4}, isbn = {978-3-030-24258-9}, keywords = {dblp}, pages = {406-423}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-11T11:41:26.000+0200}, title = {On Super Strong ETH.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2019.html#VyasW19}, volume = 11628, year = 2019 }