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...
Theory and Applications of Satisfiability Testing – SAT 2016, p.228-245
Volltextzugriff (PDF)

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



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

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

Extreme Cases in SAT Problems
Theory and Applications of Satisfiability Testing – SAT 2016, p.87-103
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, p.435-452
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2016, p.393-401
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)

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


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

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


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

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

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


Open Access
Incremental Determinization
Theory and Applications of Satisfiability Testing – SAT 2016, p.375-392
Volltextzugriff (PDF)

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

Theory and Applications of Satisfiability Testing – SAT 2016, p.267-283
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n