Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...




Folia phoniatrica et logopaedica, 2009-06, Vol.61 (2), p.105-111
2009
Volltextzugriff (PDF)








Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.307-323
2015
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.405-422
2015
Volltextzugriff (PDF)


Open Access
Certified MaxSAT Preprocessing
12th International Joint Conference on Automated Reasoning, IJCAR 2024, Nancy, France, 2024, Vol.14739 LNAI, p.396
2024
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.156-172
2015
Volltextzugriff (PDF)

Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment, 2005-09, Vol.550 (3), p.637-646
2005
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.360-368
2015
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.104-120
2015
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.9-16
2015
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.33-45
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt