@article{brglez_li_stallmann_2005, title={On SAT instance classes and a method for reliable performance experiments with SAT solvers}, volume={43}, DOI={10.1007/s10472-005-0417-5}, number={04-Jan}, journal={Annals of Mathematics and Artificial Intelligence}, author={Brglez, F. and Li, X. Y. and Stallmann, Matthias}, year={2005}, pages={1–34} } @inbook{li_stallmann_brglez_2004, title={A Local search sat solver using an effective switching strategy and an efficient unit propagation}, volume={2919}, ISBN={3540208518}, booktitle={Theory and applications of satisfiability testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected revised papers}, publisher={Berlin; New York: Springer}, author={Li, X. Y. and Stallmann, M. F. and Brglez, F.}, year={2004}, pages={53–68} } @article{li_stallmann_2002, title={New bounds on the barycenter heuristic for bipartite graph drawing}, volume={82}, DOI={10.1016/S0020-0190(01)00297-6}, number={6}, journal={Information Processing Letters}, author={Li, X. Y. and Stallmann, Matthias}, year={2002}, pages={293–298} }