search author

DBLP BibTeX Record 'journals/combinatorics/DransfieldLMT04'

@article{DBLP:journals/combinatorics/DransfieldLMT04,
  author    = {Michael R. Dransfield and
               Lengning Liu and
               Victor W. Marek and
               Miroslaw Truszczynski},
  title     = {Satisfiability and Computing van der Waerden Numbers},
  journal   = {Electr. J. Comb.},
  volume    = {11},
  number    = {1},
  year      = {2004},
  ee        = {http://www.combinatorics.org/Volume_11/Abstracts/v11i1r41.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}