NP-Completeness of Refutability by Literal-Once Resolution

Szeider, Stefan

by Stefan Szeider

Reference:

NP-Completeness of Refutability by Literal-Once ResolutionStefan SzeiderIJCAR 2001, Proceedings of the International Joint Conference on Automated Reasoning (R. Goré, A. Leitsch, T. Nipkow, eds.), volume 2083 of Lecture Notes in Artificial Intelligence, pages 168-181, 2001, Springer Verlag.

Bibtex Entry:

@string{lnai="Lecture Notes in Artificial Intelligence"}
@string{springer="Springer Verlag"}
@InProceedings{Szeider01,
  author = 	 {Stefan Szeider},
  title = 	 {{NP}-Completeness of
                  Refutability by  Literal-Once Resolution},
  booktitle = 	 {IJCAR 2001, Proceedings of the International 
                  Joint Conference on Automated Reasoning}, 
  year = 	 {2001},
  editor =       {R. Gor\'{e} and A. Leitsch and T. Nipkow},
  series = 	 LNAI,
  volume =       {2083},
  publisher =   Springer,
  pages =      {168-181},
}