Resolution is Not Automatizable Unless W[P] is Tractable

@inproceedings{Alekhnovich2001ResolutionIN,
  title={Resolution is Not Automatizable Unless W[P] is Tractable},
  author={Michael Alekhnovich and Alexander A. Razborov},
  booktitle={FOCS},
  year={2001}
}
4 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-4 of 4 extracted citations

Similar Papers

Loading similar papers…