BibTeX record conf/wea/DimitriouS04

• > Home > conf/wea/DimitriouS04

@inproceedings{DBLP:conf/wea/DimitriouS04,
  author       = {Tassos Dimitriou and
                  Paul G. Spirakis},
  editor       = {Celso C. Ribeiro and
                  Simone L. Martins},
  title        = {How to Tell a Good Neighborhood from a Bad One: Satisfiability of
                  Boolean Formulas},
  booktitle    = {Experimental and Efficient Algorithms, Third International Workshop,
                  {WEA} 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3059},
  pages        = {199--212},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24838-5\_15},
  doi          = {10.1007/978-3-540-24838-5\_15},
  timestamp    = {Sat, 09 Apr 2022 12:38:17 +0200},
  biburl       = {https://dblp.org/rec/conf/wea/DimitriouS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}