@article{nsad2024,
  author = {Lemerre, Matthieu and Lesbre, Dorian},
  title = {Labeled Union-Find for Constraint Factorization},
  year = {2024},
  series = {NSAD 2024},
  month = {10},
  numpages = {4},
  location = {Pasadena, CA, USA},
}