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...


Diagnostic and interventional imaging, 2020-05, Vol.101 (5), p.321-322
2020
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.228-245
2016
Volltextzugriff (PDF)


LMHS: A SAT-IP Hybrid MaxSAT Solver
Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.539-546
2016
Volltextzugriff (PDF)



2QBF: Challenges and Solutions
Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.453-469
2016
Volltextzugriff (PDF)

Extreme Cases in SAT Problems
Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.87-103
2016
Volltextzugriff (PDF)




Clinical microbiology and infection, 2018-10, Vol.24 (10), p.1070-1076
2018
Volltextzugriff (PDF)

Q-Resolution with Generalized Axioms
Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.435-452
2016
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.393-401
2016
Volltextzugriff (PDF)


European journal of heart failure, 2022-07, Vol.24 (7), p.1253-1265
2022
Volltextzugriff (PDF)


Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9710, p.323-341
2016
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.547-553
2016
Volltextzugriff (PDF)

On Q-Resolution and CDCL QBF Solving
Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.402-418
2016
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.141-159
2016
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n