Gent, 2013. Optimal Implementation of Watched Literals and More General Techniques 48.. https://doi.org/10.1613/jair.4016