Strong Extension-Free Proof Systems von Heule, Marijn J. H., Kiesl, Benjamin, Biere, Armin

Volltext

Solution Validation and Extraction for QBF Preprocessing von Heule, Marijn J. H., Seidl, Martina, Biere, Armin

Volltext

An Automated Approach to the Collatz Conjecture von Yolcu, Emre, Aaronson, Scott, Heule, Marijn J. H.

Volltext

SAT-Inspired Eliminations for Superposition von Vukmirović, Petar, Blanchette, Jasmin, Heule, Marijn J. H.

Volltext

Preprocessing of Propagation Redundant Clauses von Reeves, Joseph E., Heule, Marijn J. H., Bryant, Randal E.

Volltext

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

Volltext

A Flexible Proof Format for SAT Solver-Elaborator Communication von Baek, Seulkee, Carneiro, Mario, Heule, Marijn J. H.

Volltext

Without Loss of Satisfaction von Heule, Marijn J. H.

Volltext

Generating Extended Resolution Proofs with a BDD-Based SAT Solver von Bryant, Randal E., Heule, Marijn J. H.

Volltext

Verified Encodings for SAT Solvers von Codel, Cayden R., Avigad, Jeremy, Heule, Marijn J. H.

Volltext

Effective Auxiliary Variables via Structured Reencoding von Haberlandt, Andrew, Green, Harrison, Heule, Marijn J H

Volltext

A Flexible Proof Format for SAT Solver-Elaborator Communication von Baek, Seulkee, Carneiro, Mario, Heule, Marijn J H

Volltext

Exact DFA Identification Using SAT Solvers von Heule, Marijn J. H., Verwer, Sicco

Volltext

Expressing Symmetry Breaking in DRAT Proofs von Heule, Marijn J. H., Hunt, Warren A., Wetzler, Nathan

Volltext

Sorting Parity Encodings by Reusing Variables von Chew, Leroy, Heule, Marijn J. H.

Volltext

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads von Heule, Marijn J. H., Kullmann, Oliver, Wieringa, Siert, Biere, Armin

Volltext

Symmetry in Gardens of Eden von Hartman, Christiaan, Heule, Marijn J. H., Kwekkeboom, Kees, Noels, Alain

Volltext

PRuning Through Satisfaction? von Heule, Marijn J. H., Kiesl, Benjamin, Seidl, Martina, Biere, Armin

Volltext

A Unified Proof System for QBF Preprocessing von Heule, Marijn J. H., Seidl, Martina, Biere, Armin

Volltext

Automated Reencoding of Boolean Formulas von Manthey, Norbert, Heule, Marijn J. H., Biere, Armin

Volltext