@inproceedings{FroleyksBiere-FMCAD20,
  author    = {Nils Froleyks and Armin Biere},
  editor    = {Ruzica Piskac and Michael W. Whalen},
  title     = {Single Clause Assumption without Activation Literals to Speed-up {IC3}},
  booktitle = {Proceedings 21st International Conference on Formal Methods in Computer-Aided Design (FMCAD'21)},
  pages     = {72--76},
  volume   = {2},
  publisher = {{TU Vienna Academic Press}},
  year      = {2021}
  doi       = {10.34727/2021/isbn.978-3-85448-046-4_15},
  url       = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_15},
}