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...
Open Access
The versatility and paradox of GDF 11
Pharmacology & therapeutics (Oxford), 2017-07, Vol.175, p.28-34
2017
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.267-278
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.336-353
2019
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.354-370
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.90-99
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.222-238
2019
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.117-135
2019
Volltextzugriff (PDF)

Welding in the world, 2008, Vol.52 (3-4), p.12-16
2008
Volltextzugriff (PDF)

MM Science Journal, 2021-11, Vol.2021 (5), p.5167-5174
2021
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.136-154
2019
Volltextzugriff (PDF)

Open Access
Circular (Yet Sound) Proofs
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.1-18
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.279-297
2019
Volltextzugriff (PDF)

Open Access
On Computing the Union of MUSes
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.211-221
2019
Volltextzugriff (PDF)

MM Science Journal, 2019-11, Vol.2019 (4), p.3250-3257
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.155-163
2019
Volltextzugriff (PDF)

Clausal Abstraction for DQBF
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.388-405
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.71-89
2019
Volltextzugriff (PDF)

DRMaxSAT with MaxHS: First Contact
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.239-249
2019
Volltextzugriff (PDF)

Speeding Up Assumption-Based SAT
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.164-182
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.53-70
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.36-52
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.319-335
2019
Volltextzugriff (PDF)

On Super Strong ETH
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.406-423
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n