Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
1 Treffer
-
In: Lecture Notes in Computer Science ; Theory and Applications of Satisfiability Testing – SAT 2014 ; page 438-445 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319092836 9783319092843; (2014)BuchZugriff: