Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis. Prioritised Unit Propagation by Partitioning the Watch Lists. In Matti Järvisalo, Daniel Le Berre, editors, 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), Alghero, Italy, July 4, 2023. Volume 3545 of CEUR Workshop Proceedings, pages 14-34, CEUR-WS.org, 2023. [doi]
Abstract is missing.