Publications by <!-- THEME DEBUG --> <!-- THEME HOOK: 'views_view_field' --> <!-- 💡 BEGIN CUSTOM TEMPLATE OUTPUT from 'themes/custom/csd/templates/views/views-view-field.html.twig' --> Marijn Heule <!-- END CUSTOM TEMPLATE OUTPUT from 'themes/custom/csd/templates/views/views-view-field.html.twig' -->

Book

Preface first edition

2021 • Frontiers in Artificial Intelligence and Applications • 336:V-VI
Biere A, Heule M, Van Maaren H, Walsh T

Book

Preface first edition

2021 • Handbook of Satisfiability: Second Edition • v-vi
Biere A, Heule M, van Maaren H, Walsh T

Book

Preface second edition

2021 • Frontiers in Artificial Intelligence and Applications • 336:VII-VIII
Biere A, Heule M, Van Maaren H, Walsh T

Chapter

Preface second edition

2021 vii-viii
Biere A, Heule M, van Maaren H, Walsh T

Book

Preface

2020 • Lecture Notes in Computer Science • 12078 LNCS:vii-ix
Biere A, Parker D, Heule M, Howar F, Beyer D, Hartmanns A, Seidl M

Book

Preface

2020 • Lecture Notes in Computer Science • 12079 LNCS:vii-ix
Heule M, Howar F, Beyer D, Hartmanns A, Seidl M, Biere A, Parker D
Displaying 26 - 50 of 140