Complexity Results for Linear XSAT Problems

Konferenzbeitrag › Konferenzpaper › 2010

Zitation

Porschen, S.; Schmidt, T.; Speckenmeyer, E.: Complexity Results for Linear XSAT Problems. In: Lecture Notes in Computer Science, Proceedings SAT 2010. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer 2010, S. 251-263.

ISSN

0302-9743

ISBN

978-3-642-14185-0

Zitieren

BibTeX / RIS