000 01383n a2200325#a 4500
001 9988
005 20240404163411.0
008 960207s1996 riua b 000 0 eng
010 _a96005184
020 _a0821866095 (acid-free paper)
035 _aocm34191924
035 _aRecord 18755
040 _aDLC
_cDLC
049 _aP5AA
082 0 0 _a511.5
_bC641
090 _ama11cs
245 0 0 _aCliques, coloring, and satisfiability:
_bsecond DIMACS implementation challenge, October 11-13, 1993/
_cDavid S. Johnson, Michael A. Trick, editors.
260 _aProvidence, R.I.:
_bAmerican Mathematical Society,
_cc1996.
300 _axi, 657 p.:
_bill.;
_c26 cm.
500 _a"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore."
504 _aIncludes bibliographical references.
650 0 0 _aComputer algorithms.
_931281
650 0 4 _aComputer science-
_xMathematics.
_937772
697 _aMatemática Aplicada 11-
_bCongressos e Seminários-
_xTeoria dos Grafos e Análise Combinatória.
_923794
700 1 _aJohnson, David S.,
_d1945-
_945229
700 1 _aTrick, Michael A.
_935195
942 _2impa
_cBK
999 _c10962
_d10962
490 0 _aDIMACS series in discrete mathematics and theoretical computer science;
_vv. 26.
_935430