Prioritised Unit Propagation by Partitioning the Watch Lists. - Benjamin Kaiser; Robert Clausecker; Michael Mavroskoufis (POS@SAT, 2023)