Yugami95'

BibTeX

@inproceedings{DBLP:conf/ijcai/Yugami95,
  author    = {Nobuhiro Yugami},
  title     = {Theoretical Analysis of Davis-Putnam Procedure and Propositional
               Satisfiability},
  booktitle = {IJCAI},
  year      = {1995},
  pages     = {282-288},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}