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






BioMed research international, 2016-01, Vol.2016, p.4762785-5
2016
Volltextzugriff (PDF)


Tools and Algorithms for the Construction and Analysis of Systems, p.692-707
Volltextzugriff (PDF)


BioMed research international, 2017-01, Vol.2017, p.1827913-5
2017
Volltextzugriff (PDF)






BioMed research international, 2016-01, Vol.2016, p.2849476-5
2016
Volltextzugriff (PDF)



Tools and Algorithms for the Construction and Analysis of Systems, p.200-205
Volltextzugriff (PDF)


Open Access
νZ - An Optimizing SMT Solver
Tools and Algorithms for the Construction and Analysis of Systems, p.194-199
Volltextzugriff (PDF)


Open Access
Certified Core-Guided MaxSAT Solving
Proceedings of the 29th International Conference on Automated Deduction, CADE-29,Rome, Italy,2023-07-01 - 2023-07-04, 2023, Vol.14132 LNAI, p.1
2023
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n