bibliographer - Marijn J. H. Heule

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

An Automated Approach to the Collatz Conjecture Emre Yolcu Scott Aaronson Marijn J. H. Heule [github]

Proceedings of SAT RACE 2019 Solver and Benchmark Descriptions Marijn J. H. Heule Matti Jarvisalo [github]

New ways to multiply 3 x 3-matrices Marijn J. H. Heule Manuel Kauers Martina Seidl [github]

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

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer Marijn J. H. Heule Oliver Kullmann Victor W. Marek [github]

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

Library Size: 13G (6 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]