The intractability of resolution (complexity)

@inproceedings{Haken1984TheIO,
  title={The intractability of resolution (complexity)},
  author={Armin Haken},
  year={1984}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-4 OF 4 CITATIONS

Similar Papers

Loading similar papers…