@inproceedings{HeuleKieslBiere-NFM19,
  author    = {Marijn J. H. Heule and
               Benjamin Kiesl and
               Armin Biere},
  editor    = {Julia M. Badger and
               Kristin Yvonne Rozier},
  title     = {Clausal Proofs of Mutilated Chessboards},
  booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
               Houston, TX, USA, May 7-9, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11460},
  pages     = {204--210},
  publisher = {Springer},
  year      = {2019},
}