@article{MoehleSebastianiBiere-DAM25,
  author    = {Sibylle M{\"{o}}hle and
               Roberto Sebastiani and
               Armin Biere},
  title     = {On enumerating short projected models},
  journal   = {Discrete Applied Mathematics}
  series    = {Lecture Notes in Computer Science},
  volume    = {361},
  pages     = {412--439},
  publisher = {Elsevier},
  year      = {2025}
}