Towards an Optimal CNF Encoding of Boolean Cardinality Constraints von Sinz, Carsten

Volltext

The SoftWipe tool and benchmark for assessing coding standards adherence of scientific software von Zapletal, Adrian, Höhler, Dimitri, Sinz, Carsten, Stamatakis, Alexandros

Volltext

DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs von Wetzler, Nathan, Heule, Marijn J. H., Hunt, Warren A.

Volltext

Open-WBO: A Modular MaxSAT Solver von Martins, Ruben, Manquinho, Vasco, Lynce, Inês

Volltext

Formal methods for the validation of automotive product configuration data von SINZ, CARSTEN, KAISER, ANDREAS, KÜCHLIN, WOLFGANG

Volltext

SAT Race 2015 von Balyo, Tomáš, Biere, Armin, Iser, Markus, Sinz, Carsten

Volltext

Extended Resolution Proofs for Conjoining BDDs von Sinz, Carsten, Biere, Armin

Volltext

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014... von Sinz, Carsten, Egly, Uwe

Volltext

Overview and analysis of the SAT Challenge 2012 solver competition von Balint, Adrian, Belov, Anton, Järvisalo, Matti, Sinz, Carsten

Volltext

Visualizing SAT Instances and Runs of the DPLL Algorithm von Sinz, Carsten

Volltext

MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing von Jordan, Charles, Kaiser, Lukasz, Lonsing, Florian, Seidl, Martina

Volltext

An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas von Tveretina, Olga, Sinz, Carsten, Zantema, Hans

Volltext

Refined Modularization for Bounded Model Checking Through Precondition Generation von Kleine Büning, Marko, Meuer, Johannes, Sinz, Carsten

Volltext

Static Analysis and Code Complexity Metrics as Early Indicators of Software Defects von Omri, Safa, Montag, Pascal, Sinz, Carsten

Volltext

HordeSat: A Massively Parallel Portfolio SAT Solver von Balyo, Tomáš, Sanders, Peter, Sinz, Carsten

Volltext

Theory and Applications of Satisfiability Testing – SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014...

Volltext

Automatic Modularization of Large Programs for Bounded Model Checking von Kleine Büning, Marko, Sinz, Carsten

Volltext

LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR von Merz, Florian, Falke, Stephan, Sinz, Carsten

Volltext

Bridging the gap between test cases and requirements by abstract testing von Merz, Florian, Sinz, Carsten, Post, Hendrik, Gorges, Thomas, Kropf, Thomas

Volltext

Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions von Kleine Büning, Marko, Kern, Philipp, Sinz, Carsten

Volltext