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

Diagnostic and interventional imaging, 2020-05, Vol.101 (5), p.321-322
2020
Link zum Volltext


Theory and Applications of Satisfiability Testing – SAT 2016, p.123-140
Link zum Volltext







Extreme Cases in SAT Problems
Theory and Applications of Satisfiability Testing – SAT 2016, p.87-103
Link zum Volltext


LMHS: A SAT-IP Hybrid MaxSAT Solver
Theory and Applications of Satisfiability Testing – SAT 2016, p.539-546
Link zum Volltext



Clinical microbiology and infection, 2018-10, Vol.24 (10), p.1070-1076
2018
Link zum Volltext

Theory and Applications of Satisfiability Testing – SAT 2016, p.393-401
Link zum Volltext


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

On Q-Resolution and CDCL QBF Solving
Theory and Applications of Satisfiability Testing – SAT 2016, p.402-418
Link zum Volltext

European journal of heart failure, 2022-07, Vol.24 (7), p.1253-1265
2022
Link zum Volltext




Aktive Filter
KollektionSingle Journals
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n