Unfolding Boxes with Local Constraints

@inproceedings{qian2025boxes,
  title = {Unfolding Boxes with Local Constraints},
  author = {Long Qian and Eric Wang and Bernardo Subercaseaux and Marijn J. H. Heule},
  year = {2025},
  booktitle = {International Conference on Automated Deduction (CADE-30)},
  pages = {736--754},
  doi = {10.1007/978-3-031-99984-0_38},
  eprint = {2506.01079},
  archivePrefix = {arXiv}
}