A CNF formula hierarchy over the hypercube

Konferenzbeitrag › Konferenzpaper › 2007

Zitation

Porschen, Stefan: A CNF formula hierarchy over the hypercube. In: Proceedings AI 2007. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer Verlag 2007( LNCS Vol. 4803), S. 234-243.

ISSN

0302-9743

ISBN

978-3-540-76926-2

Zitieren

BibTeX / RIS

Zugehörige Veranstaltungen