1 paper
Mia MüÃig, Jan Johannsen
In pseudo-boolean solving the currently most successful unit propagation strategy is a hybrid mode combining the watched literal scheme with the counting method. This short paper i…