Vlada01'

BibTeX

@article{DBLP:journals/air/Vlada01,
  author    = {Marin Vlada},
  title     = {Algorithms for Testing Satisfiability Formulas},
  journal   = {Artif. Intell. Rev.},
  volume    = {15},
  number    = {3},
  year      = {2001},
  pages     = {153-163},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}