DBLP Record 'conf/mtv/BhallaLSM03'

BibTeX

@inproceedings{DBLP:conf/mtv/BhallaLSM03,
  author    = {Ateet Bhalla and
               In{\^e}s Lynce and
               Jos{\'e} T. de Sousa and
               Jo{\~a}o P. Marques Silva},
  title     = {Heuristic Backtracking Algorithms for SAT},
  booktitle = {MTV},
  year      = {2003},
  pages     = {69-74},
  ee        = {http://csdl.computer.org/comp/proceedings/mtv/2003/2045/00/20450069abs.htm},
  crossref  = {DBLP:conf/mtv/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mtv/2003,
  title     = {Fourth International Workshop on Microprocessor Test and
               Verification, Common Challenges and Solutions (MTV 2003),
               May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA},
  booktitle = {MTV},
  publisher = {IEEE Computer Society},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}