@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 Nature Switzerland},
  address = {Cham},
  isbn = {978-3-032-22752-2},
  doi = {10.1007/978-3-032-22752-2_5},
}