A New Algorithm for Computing Theory Prime Implicates Compilations - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Pierre Marquis, Samira Sadaoui. A New Algorithm for Computing Theory Prime Implicates Compilations. In AAAI/IAAI, Vol. 1. pages 504-509, 1996.

@inproceedings{MarquisS96,
  title = {A New Algorithm for Computing Theory Prime Implicates Compilations},
  author = {Pierre Marquis and Samira Sadaoui},
  year = {1996},
  researchr = {https://researchr.org/publication/MarquisS96},
  cites = {0},
  citedby = {0},
  pages = {504-509},
  booktitle = {AAAI/IAAI, Vol. 1},
}

runs on WebDSL