Structural Aspects of Propositional SAT

Konferenzbeitrag › Konferenzpaper › 2016

Zitation

Porschen, Stefan: Structural Aspects of Propositional SAT. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2016. Hg. von IAENG (International Association of Engineers). Hong Kong: Newswood 2016, S. 126-131.

ISSN

2078-0958

ISBN

978-988-19253-8-1

Zitieren

BibTeX / RIS