@inproceedings{KaiserClauseckerMavroskoufis2023, author = {Benjamin Kaiser and Robert Clausecker and Michael Mavroskoufis}, title = {Prioritised Unit Propagation by Partitioning the Watch Lists}, booktitle = {Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)}, volume = {3545}, pages = {14 -- 34}, url = {https://ceur-ws.org/Vol-3545/paper2.pdf}, year = {2023}, }