@inproceedings{KieslHeuleBiere-ATVA19,
  author    = {Benjamin Kiesl and Marijn J. H. Heule and Armin Biere},
  title     = {Truth Assignments as Conditional Autarkies},
  editor    = {Yu{-}Fang Chen and
               Chih{-}Hong Cheng and
               Javier Esparza},
  booktitle = {Automated Technology for Verification and Analysis - 17th
  International Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019,
	       Proceedings},
  series    = {Lecture Notes in Computer Science},
  pages     = {48--64},
  volume    = {11781},
  publisher = {Springer},
  year      = {2019}
}