Minimizing Variable-Weighted X3SAT

Konferenzbeitrag › Konferenzpaper › 2010

Zitation

Porschen, S.; Plagge, G.: Minimizing Variable-Weighted X3SAT. In: Lecture Notes in Engineering and Computer Science, Proceedings ICCS 2010. Hong Kong: Newswood Limited 2010, S. 449-454.

ISSN

2078-0958

ISBN

978-988-17012-8-2

Zitieren

BibTeX / RIS