The Phase Transition in Random Horn Satisfiability and Its Algorithmic Implications - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gabriel Istrate. The Phase Transition in Random Horn Satisfiability and Its Algorithmic Implications. In SODA. pages 925-926, 1999. [doi]

@inproceedings{Istrate99,
  title = {The Phase Transition in Random Horn Satisfiability and Its Algorithmic Implications},
  author = {Gabriel Istrate},
  year = {1999},
  doi = {10.1145/314500.315092},
  url = {http://doi.acm.org/10.1145/314500.315092},
  researchr = {https://researchr.org/publication/Istrate99},
  cites = {0},
  citedby = {0},
  pages = {925-926},
  booktitle = {SODA},
}

runs on WebDSL