@inproceedings{orbitopalSAT2026,
  title = {Orbitopal Fixing in {SAT}},
  author = {Markus Anders
            and Cayden Codel
            and Marijn J. H. Heule},
  booktitle = {32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems ({TACAS} 2026)},
  year = {2026},
  pages = {89--109},
  series = {Lecture Notes in Computer Science ({LNCS})},
  editor = {Sebastian Junges
            and Guy Katz},
  publisher = {Springer},
  address = {Cham},
}