Publications by Marijn Heule

Journal Article

Preface

2024 • Lecture Notes in Computer Science • 14740 LNAI:v-vi
Benzmüller C, Heule MJH, Schmidt RA

Journal Article

Preface

2024 • Lecture Notes in Computer Science • 14739 LNAI:v-vi
Benzmüller C, Heule MJH, Schmidt RA

Conference

The SAT Museum

2023 • CEUR Workshop Proceedings • 3545:72-87
Biere A, Fleury M, Froleyks N, Heule MJH

Conference

Avoiding Monochromatic Rectangles Using Shift Patterns

2021 • 14th International Symposium on Combinatorial Search, SoCS 2021 • 225-227
Liu Z, Chew L, Heule MJH
Displaying 1 - 25 of 143