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



Agriculture, ecosystems & environment, 2023-06, Vol.348, p.108397, Article 108397
2023
Volltextzugriff (PDF)








Open Access
RC2: an Efficient MaxSAT Solver
Journal on satisfiability, Boolean modeling and computation, 2019-09, Vol.11 (1), p.53-64
2019
Volltextzugriff (PDF)




Theory and Applications of Satisfiability Testing - SAT 2020, 2020, Vol.12178, p.501-518
2020
Volltextzugriff (PDF)

Italian journal of animal science, 2009-01, Vol.8 (sup1), p.81-101
2009
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n