Worst-Case bounds for some modified NP-complete Horn-SAT problems

Konferenzbeitrag › Konferenzpaper › 2005

Zitation

Porschen, S.; Speckenmeyer, E.: Worst-Case bounds for some modified NP-complete Horn-SAT problems. In: Post-Proceedings SAT 2004. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer Verlag 2005( LNCS, Vol. 3542), S. 251-262.

ISSN

0302-9743

ISBN

978-3-540-27829-X

Zitieren

BibTeX / RIS