---

BibTeX

Alphabetically:

• Artificial intelligence: Foundations of computational agents (Poole & Mackworth, 2017)

  @Book{poole+2017,
    author       = {David L. Poole and Alan K. Mackworth},
    title        = {Artificial Intelligence},
    publisher    = {{Cambridge} University Press},
    year         = 2017,
    edition      = 2,
    subtitle     = {Foundations of Computational Agents},
    url          = {https://artint.info/},
    institution  = {University of {British Columbia}},
    keywords     = {cs}
  }
  

• Reducibility among combinatorial problems (Karp, 1972)

  @InProceedings{karp-1972,
    author       = {Karp, Richard M.},
    title        = {Reducibility among Combinatorial Problems},
    booktitle    = {Symposium on the Complexity of Computer Computations},
    year         = 1972,
    doi          = {10.1007/978-1-4684-2001-2_9},
    keywords     = {cs, proprietary}
  }
  

• The complexity of theorem-proving procedures (Cook, 1971)

  @InProceedings{cook-1971,
    author       = {Cook, Stephen A.},
    title        = {The complexity of theorem-proving procedures},
    booktitle    = {Proceedings of the Third Annual {ACM} Symposium on Theory of
                    Computing},
    year         = 1971,
    series       = {STOC '71},
    pages        = {151–158},
    address      = {New York, NY, USA},
    publisher    = {Association for Computing Machinery},
    isbn         = 9781450374644,
    doi          = {10.1145/800157.805047},
    numpages     = 8,
    location     = {Shaker Heights, Ohio, USA},
    keywords     = {cs}
  }