Works (3)

2005 journal article

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.

By: F. Brglez, X. Li & M. Stallmann

Source: NC State University Libraries
Added: August 6, 2018

2004 chapter

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.

By: X. Li, M. Stallmann & F. Brglez

Source: NC State University Libraries
Added: August 6, 2018

2002 journal article

New bounds on the barycenter heuristic for bipartite graph drawing

Information Processing Letters, 82(6), 293–298.

By: X. Li & M. Stallmann

Source: NC State University Libraries
Added: August 6, 2018