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









Open Access
Faster, Higher, Stronger: E 2.3
Automated Deduction – CADE 27, 2019, p.495-507
2019
Link zum Volltext










Astrophysical journal. Letters, 2018-07, Vol.861 (2), p.L13
2018
Link zum Volltext


Open Access
SPASS-SATT: A CDCL(LA) Solver
Automated Deduction – CADE 27, 2019, p.111-122
2019
Link zum Volltext



Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt