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...
Journal of international medical research, 2021-10, Vol.49 (10), p.30006052110473-3000605211047371
2021
Volltextzugriff (PDF)



Theory and Applications of Satisfiability Testing – SAT 2008, p.21-27
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008, p.28-33
Volltextzugriff (PDF)

Attacking Bivium Using SAT Solvers
Theory and Applications of Satisfiability Testing – SAT 2008, p.63-76
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008, p.211-224
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008, p.225-230
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008, p.196-210
Volltextzugriff (PDF)

Finding Guaranteed MUSes Fast
Theory and Applications of Satisfiability Testing – SAT 2008, p.291-304
Volltextzugriff (PDF)

Frontiers of Computer Science, 2016-10, Vol.10 (5), p.870-888
2016
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008, p.182-195
Volltextzugriff (PDF)


Local Restarts
Theory and Applications of Satisfiability Testing – SAT 2008, p.271-276
Volltextzugriff (PDF)

Modelling Max-CSP as Partial Max-SAT
Theory and Applications of Satisfiability Testing – SAT 2008, p.1-14
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing – SAT 2008, p.48-62
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008, p.105-118
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008, p.133-138
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008, p.139-152
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008, p.168-181
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing – SAT 2008, p.154-160
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008, p.246-256
Volltextzugriff (PDF)

A Preprocessor for Max-SAT Solvers
Theory and Applications of Satisfiability Testing – SAT 2008, p.15-20
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n