Counting all solutions of minimum-weight exact satisfiability

Konferenzbeitrag › Konferenzpaper › 2006

Zitation

Porschen, S.: Counting all solutions of minimum-weight exact satisfiability. In: Proceedings CIAC 2006. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer Verlag 2006( LNCS, Vol. 3998), S. 50-59.

ISSN

0302-9743

ISBN

978-3-540-34375-2

Zitieren

BibTeX / RIS

Zugehörige Veranstaltungen