×

Found 19 Documents (Results 1–19)

An exact quadratic 0-1 algorithm for the stable set problem. (English) Zbl 0862.90106

Johnson, David S. (ed.) et al., Cliques, coloring, and satisfiability. Second DIMACS implementation challenge. Proceedings of a workshop held at DIMACS, October 11–13, 1993. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 26, 53-73 (1996).

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software