@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},
  series = {Lecture Notes in Computer Science (LNCS)},
  editor = {Sebastian Junges and Guy Katz},
  publisher = {Springer},
  address = {Cham},
}