@incollection{Biere-SAT-Handbook-2021-BMC-Chapter-Manuscript,
  author    = {Armin Biere},
  editor    = {Armin Biere and
               Marijn Heule and
               Hans van Maaren and
               Toby Walsh},
  title     = {Bounded Model Checking},
  booktitle = {Handbook of Satisfiability},
  edition   = {Second},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {336},
  pages     = {739--764},
  publisher = {{IOS} Press},
  year      = {2021},
  url       = {https://doi.org/10.3233/FAIA201002},
  doi       = {10.3233/FAIA201002},
}