@inproceedings{ait-el-hara_constraint_2025,
  address   = {Glasgow, UK},
  series    = {{CEUR} {Workshop} {Proceedings}},
  title     = {Constraint {Propagation} for {Bit}-{Vectors} in {Alt}-{Ergo}},
  volume    = {4008},
  url       = {https://ceur-ws.org/Vol-4008/#SMT_paper20},
  language  = {en},
  urldate   = {2025-08-15},
  booktitle = {Joint {Proceedings} of the 23rd {International} {Workshop} on {Satisfiability} {Modulo} {Theories} and the 16th {Pragmatics} of {SAT} {International} {Workshop}},
  publisher = {CEUR},
  author    = {Ait-El-Hara, Hichem Rami and Bury, Guillaume and Cl{\'e}ment, Basile and Villemot, Pierre},
  editor    = {Hoenicke, Jochen and Janota, Mikol{\'a}{\v s} and Niemetz, Aina and Tourret, Sophie},
  month     = aug,
  year      = {2025},
  note      = {ISSN: 1613-0073},
  pages     = {65--76}
}