@inproceedings{looney2026weight,
 title={Weight-Aware Transformations for MaxSAT},
 author={Looney, Jesse and Bj{\o}rner, Nikolaj and Wu, Haoze and Narodytska, Nina},
 booktitle={Formal Methods in Computer-Aided Design (FMCAD)},
 year={2026}
}