UB Paderborn / Katalog / Suche / in CDI

Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

1st Edition 2018, 2018

Link zum Volltext

Verfügbarkeit prüfen

The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models

Journal of computational biology, 2023-09, Vol.30 (9), p.1046-1058

2023

Link zum Volltext

Verfügbarkeit prüfen

SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data

BMC systems biology, 2018-05, Vol.12 (1), p.59-59, Article 59

2018

Link zum Volltext

Verfügbarkeit prüfen

Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism

IEEE/ACM transactions on computational biology and bioinformatics, 2021-11, Vol.18 (6), p.2339-2352

2021

Link zum Volltext

Verfügbarkeit prüfen

Seven Challenges in Parallel SAT Solving

The AI magazine, 2013-06, Vol.34 (2), p.99-106

2013

Link zum Volltext

Verfügbarkeit prüfen

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

2020 IEEE Symposium on Security and Privacy (SP), 2020, p.983-1002

2020

Link zum Volltext
IEEE_Xplore

Efficiently solving quantified bit-vector formulas

Formal methods in system design, 2013-02, Vol.42 (1), p.3-23

2013

Link zum Volltext

Verfügbarkeit prüfen

An Approximation Framework for Solvers and Decision Procedures

Journal of automated reasoning, 2017-01, Vol.58 (1), p.127-147

2017

Link zum Volltext

Verfügbarkeit prüfen

Exploring Approximations for Floating-Point Arithmetic Using UppSAT

Automated Reasoning, 2018, Vol.10900, p.246-262

2018

Link zum Volltext

Verfügbarkeit prüfen

Ranking function synthesis for bit-vector relations

Formal methods in system design, 2013-08, Vol.43 (1), p.93-120

2013

Link zum Volltext

Verfügbarkeit prüfen

Automated Synthesis and Analysis of Switching Gene Regulatory Networks

BioSystems, 2016-08, Vol.146, p.26-34

2016

Link zum Volltext

Verfügbarkeit prüfen

Loop summarization using state and transition invariants

Formal methods in system design, 2013-06, Vol.42 (3), p.221-261

2013

Link zum Volltext

Verfügbarkeit prüfen

An SMT-Based Framework for Reasoning About Discrete Biological Models

Bioinformatics Research and Applications, 2023, Vol.13760, p.114-125

2023

Link zum Volltext

Verfügbarkeit prüfen

Analyzing and Synthesizing Genomic Logic Functions

Computer Aided Verification, p.343-357

Link zum Volltext

Verfügbarkeit prüfen

Lazy Decomposition for Distributed Decision Procedures

Electronic proceedings in theoretical computer science, 2011-10, Vol.72 (Proc. PDMC 2011), p.43-54

2011

Link zum Volltext

Verfügbarkeit prüfen

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

Proceedings of the VLDB Endowment, 2023-10, Vol.17 (2), p.225-240

2023

Link zum Volltext

Verfügbarkeit prüfen

Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Link zum Volltext

Verfügbarkeit prüfen

The Effect of Structural Measures and Merges on SAT Solver Performance

Principles and Practice of Constraint Programming, p.436-452

Link zum Volltext

Verfügbarkeit prüfen

Learning-Sensitive Backdoors with Restarts

Principles and Practice of Constraint Programming, p.453-469

Link zum Volltext

Verfügbarkeit prüfen

Deciding Bit-Vector Formulas with mcSAT

Theory and Applications of Satisfiability Testing – SAT 2016, 2016, p.249-266

2016

Link zum Volltext

Verfügbarkeit prüfen

Digitaltechnik — Eine praxisnahe Einführung

Link zum Volltext

Verfügbarkeit prüfen

Digitaltechnik - Eine praxisnahe Einfuhrung

2008 edition, 2008

Link zum Volltext

Verfügbarkeit prüfen

Termination Analysis with Compositional Transition Invariants

Computer Aided Verification, p.89-103

Link zum Volltext

Verfügbarkeit prüfen

Switching Gene Regulatory Networks

Information Processing in Cells and Tissues, p.131-144

Link zum Volltext

Verfügbarkeit prüfen

Programming Z3

Engineering Trustworthy Software Systems, 2019, Vol.11430, p.148-201

2019

Link zum Volltext

Verfügbarkeit prüfen

Menü

Weitere Dienste

Einstellungen

Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models

SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data

Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism

Seven Challenges in Parallel SAT Solving

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Efficiently solving quantified bit-vector formulas

An Approximation Framework for Solvers and Decision Procedures

Exploring Approximations for Floating-Point Arithmetic Using UppSAT

Ranking function synthesis for bit-vector relations

Automated Synthesis and Analysis of Switching Gene Regulatory Networks

Loop summarization using state and transition invariants

An SMT-Based Framework for Reasoning About Discrete Biological Models

Analyzing and Synthesizing Genomic Logic Functions

Lazy Decomposition for Distributed Decision Procedures

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

The Effect of Structural Measures and Merges on SAT Solver Performance

Learning-Sensitive Backdoors with Restarts

Deciding Bit-Vector Formulas with mcSAT

Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik - Eine praxisnahe Einfuhrung

Termination Analysis with Compositional Transition Invariants

Switching Gene Regulatory Networks

Programming Z3

Suchergebnisse filtern