@inproceedings{ddfw_pos2021,
  title = {A Study of Divide and Distribute Fixed Weights and its Variants},
  author = {Cayden R. Codel
            and Marijn J. H. Heule},
  editor = {Matti J{\"a}rvisalo and
            Daniel Le Berre},
  booktitle = {Proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing - Pragmatics of SAT,{PoS} 2021},
  year = {2021},
  month = {7},
}