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...
Theory and Applications of Satisfiability Testing – SAT 2016, p.228-245
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2016, p.123-140
Volltextzugriff (PDF)


LMHS: A SAT-IP Hybrid MaxSAT Solver
Theory and Applications of Satisfiability Testing – SAT 2016, p.539-546
Volltextzugriff (PDF)


2QBF: Challenges and Solutions
Theory and Applications of Satisfiability Testing – SAT 2016, p.453-469
Volltextzugriff (PDF)

Extreme Cases in SAT Problems
Theory and Applications of Satisfiability Testing – SAT 2016, p.87-103
Volltextzugriff (PDF)


Q-Resolution with Generalized Axioms
Theory and Applications of Satisfiability Testing – SAT 2016, p.435-452
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2016, p.393-401
Volltextzugriff (PDF)


Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9710, p.323-341
2016
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2016, p.547-553
Volltextzugriff (PDF)

On Q-Resolution and CDCL QBF Solving
Theory and Applications of Satisfiability Testing – SAT 2016, p.402-418
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing – SAT 2016, p.141-159
Volltextzugriff (PDF)

1, 2021
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing – SAT 2016, p.104-122
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.249-266
2016
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2016, p.342-360
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2016, p.3-12
Volltextzugriff (PDF)


Open Access
Incremental Determinization
Theory and Applications of Satisfiability Testing – SAT 2016, p.375-392
Volltextzugriff (PDF)
Aktive Filter
ThemaLife Sciences & Biomedicine
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n