Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Fumiaki Okushi, Allen Van Gelder. Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. In AMAI. 2000. [doi]

@inproceedings{OkushiG00,
  title = {Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination},
  author = {Fumiaki Okushi and Allen Van Gelder},
  year = {2000},
  url = {http://rutcor.rutgers.edu/~amai/aimath00/regular/okushi_vangelder.ps},
  tags = {persistent},
  researchr = {https://researchr.org/publication/OkushiG00},
  cites = {0},
  citedby = {0},
  booktitle = {AMAI},
}

runs on WebDSL