Linear time algorithms for some not-all-equal satisfiability problems

Konferenzbeitrag › Konferenzpaper › 2004

Zitation

Porschen, S.; Randerath, B.; Speckenmeyer, E.: Linear time algorithms for some not-all-equal satisfiability problems. In: Post-Proceedings SAT 2003. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer Verlag 2004( LNCS, Vol. 2019), S. 172-187.

ISSN

0302-9743

ISBN

978-3-540-20851-8

Zitieren

BibTeX / RIS

Zugehörige Veranstaltungen