@inproceedings{DR17a,
  author = {Dureja, Rohit and Rozier, Kristin Y.},
  title = {{FuseIC3}: An Algorithm for Checking Large Design Spaces},
  booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)},
  publisher = {{IEEE/ACM}},
  address = {Vienna, Austria},
  editors = {Daryl Stewart and Georg Weissenbacher},
  month = oct,
  year = {2017},
  url = {https://doi.org/10.23919%2Ffmcad.2017.81022556},
  preprint = {../papers/DR17a.pdf},
  slides = {../papers/DR17a-slides.pdf},
  website = {http://temporallogic.org/research/FMCAD17/}
}