PySAT: A Python Toolkit for Prototyping with SAT Oracles von Ignatiev, Alexey, Morgado, Antonio, Marques-Silva, Joao

Volltext

SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data von Woodhouse, Steven, Piterman, Nir, Wintersteiger, Christoph M, Göttgens, Berthold, Fisher, Jasmin

Volltext

The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models von Yordanov, Boyan, Dunn, Sara-jane, Gravill, Colin, Arora, Himanshu, Kugler, Hillel, Wintersteiger, Christoph M.

Volltext

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... von Beyersdorff, Olaf, Wintersteiger, Christoph M

Volltext

Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism von Occhipinti, Annalisa, Hamadi, Youssef, Kugler, Hillel, Wintersteiger, Christoph M., Yordanov, Boyan, Angione, Claudio

Volltext

Seven Challenges in Parallel SAT Solving von Hamadi, Youssef, Wintersteiger, Christoph M.

Volltext

Exploring Approximations for Floating-Point Arithmetic Using UppSAT von Zeljić, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M., Rümmer, Philipp

Volltext

Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT von Paxian, Tobias, Reimer, Sven, Becker, Bernd

Volltext

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider von Protzenko, Jonathan, Parno, Bryan, Fromherz, Aymeric, Hawblitzel, Chris, Polubelova, Marina, Bhargavan, Karthikeyan, Beurdouche, Benjamin, Choi, Joonwon, Delignat-Lavaud, Antoine, Fournet, Cedric, Kulatova, Natalia, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil, Wintersteiger, Christoph M., Zanella-Beguelin, Santiago

Volltext

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving von Vinyals, Marc, Elffers, Jan, Giráldez-Cru, Jesús, Gocht, Stephan, Nordström, Jakob

Volltext

Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers von Elffers, Jan, Giráldez-Cru, Jesús, Nordström, Jakob, Vinyals, Marc

Volltext

Chronological Backtracking von Nadel, Alexander, Ryvchin, Vadim

Volltext

Solving MaxSAT with Bit-Vector Optimization von Nadel, Alexander

Volltext

Efficiently solving quantified bit-vector formulas von Wintersteiger, Christoph M., Hamadi, Youssef, de Moura, Leonardo

Volltext

QBF as an Alternative to Courcelle's Theorem von Lampis, Michael, Mengel, Stefan, Mitsou, Valia

Volltext

An Approximation Framework for Solvers and Decision Procedures von Zeljić, Aleksandar, Wintersteiger, Christoph M., Rümmer, Philipp

Volltext

Machine Learning-Based Restart Policy for CDCL SAT Solvers von Liang, Jia Hui, Oh, Chanseok, Mathew, Minu, Thomas, Ciza, Li, Chunxiao, Ganesh, Vijay

Volltext

Ranking function synthesis for bit-vector relations von Cook, Byron, Kroening, Daniel, Rümmer, Philipp, Wintersteiger, Christoph M.

Volltext

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...

Volltext

Loop summarization using state and transition invariants von Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.

Volltext