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...
Sortiert nach
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
    Datensatz exportieren als...
  • BibTeX
Strong Extension-Free Proof Systems
Journal of automated reasoning, 2020-03, Vol.64 (3), p.533-554
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Local Redundancy in SAT: Generalizations of Blocked Clauses
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020, p.1481-1495
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Simulating Strong Practical Proof Systems with Extended Resolution
Journal of automated reasoning, 2020-10, Vol.64 (7), p.1247-1267
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Truth Assignments as Conditional Autarkies
Automated Technology for Verification and Analysis, p.48-64
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Extended Resolution Simulates DRAT
Automated Reasoning, 2018, Vol.10900, p.516-531
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Short Proofs Without New Variables
Automated Deduction - CADE 26, 2017, Vol.10395, p.130-147
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Little Blocked Literal Goes a Long Way
Theory and Applications of Satisfiability Testing – SAT 2017, p.281-297
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Unifying Principle for Clause Elimination in First-Order Logic
Automated Deduction - CADE 26, 2017, Vol.10395, p.274-290
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Super-Blocked Clauses
Automated Reasoning, p.45-61
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Clausal Proofs of Mutilated Chessboards
NASA Formal Methods, 2019, Vol.11460, p.204-210
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
PRuning Through Satisfaction
Hardware and Software: Verification and Testing, p.179-194
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
QRAT Polynomially Simulates \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\forall \text {-Exp+Res}$$\end{document}
Theory and Applications of Satisfiability Testing – SAT 2019, 2019, p.193-202
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proofs for Incremental SAT with Inprocessing
2023 Formal Methods in Computer-Aided Design (FMCAD), 2023, p.132-140
2023
Volltextzugriff (PDF)
1 – 14 von 14
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen