Xiao Yu Li Brglez, F., Li, X. Y., & Stallmann, M. (2005). On SAT instance classes and a method for reliable performance experiments with SAT solvers. Annals of Mathematics and Artificial Intelligence, 43(04-Jan), 1–34. https://doi.org/10.1007/s10472-005-0417-5 Li, X. Y., Stallmann, M. F., & Brglez, F. (2004). A Local search sat solver using an effective switching strategy and an efficient unit propagation. In Theory and applications of satisfiability testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected revised papers (Vol. 2919, pp. 53–68). Berlin; New York: Springer. Li, X. Y., & Stallmann, M. (2002). New bounds on the barycenter heuristic for bipartite graph drawing. Information Processing Letters, 82(6), 293–298. https://doi.org/10.1016/S0020-0190(01)00297-6