MAXSAT of level graph formulas

Konferenzbeitrag › Konferenzpaper › 2010

Zitation

Speckenmeyer, E.; Porschen, S.: MAXSAT of level graph formulas. . Hg. von Sun Yat-sen Universität, Guangzhou, China. Guangzhou, China: 2010, S. 52-53.

Zitieren

BibTeX / RIS