E-LIB Suche - Ergebnisse für: Heule, Marijn

1

Mariposa: Measuring SMT Instability in Automated Program Ve..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Zhou, Yi ; Bosamiya, Jay ; Takashima, Yoshiki... - p. 178-188 , 2023

Link: https://doi.org/10.34727..

2

An Impossible Asylum:

Avigad, Jeremy ; Baek, Seulkee ; Bentkamp, Alexander..
The American Mathematical Monthly. , 2023

Link: https://doi.org/10.1080/..

3

RipTide: A Programmable, Energy-Minimal Dataflow Compiler a..:

, In: 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO),

Gobieski, Graham ; Ghosh, Souradip ; Heule, Marijn... - p. 546-564 , 2022

Link: https://doi.org/10.1109/..

4

Tighter Bounds on Directed Ramsey Number R(7):

Neiman, David ; Mackey, John ; Heule, Marijn
Graphs and Combinatorics. 38 (2022) 5 - p. , 2022

Link: https://doi.org/10.1007/..

5

The Resolution of Keller's Conjecture:

Brakensiek, Joshua ; Heule, Marijn ; Mackey, John.
Journal of Automated Reasoning. 66 (2022) 3 - p. 277-300 , 2022

Link: https://doi.org/10.1007/..

6

SAT Competition 2020:

Froleyks, Nils ; Heule, Marijn ; Iser, Markus..
Artificial Intelligence. 301 (2021) - p. 103572 , 2021

Link: https://doi.org/10.1016/..

7

Handbook of satisfiability

Frontiers in Artificial Intelligence and Applications, v. 336

Biere, Armin ; Heule, Marijn ; Maaren, Hans van - Second edition . , 2021

Link: https://search.ebscohost..

8

The Resolution of Keller's Conjecture:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Brakensiek, Joshua ; Heule, Marijn ; Mackey, John. - p. 48-65 , 2020

Link: https://doi.org/10.1007/..

9

Computing properties of stable configurations of thermodyna..:

Breik, Keenan ; Thachuk, Chris ; Heule, Marijn.
Theoretical Computer Science. 785 (2019) - p. 17-29 , 2019

Link: https://doi.org/10.1016/..

10

A family of schemes for multiplying 3 × 3 matrices with 23 ..:

Heule, Marijn ; Kauers, Manuel ; Seidl, Martina
ACM Communications in Computer Algebra. 53 (2019) 3 - p. 118-121 , 2019

Link: https://doi.org/10.1145/..

11

A family of schemes for multiplying 3 × 3 matrices with 23 ..:

Heule, Marijn ; Kauers, Manuel ; Seidl, Martina
ACM Communications in Computer Algebra. 53 (2019) 3 - p. 118-121 , 2019

Link: https://dl.acm.org/doi/1..

12

Theory and Applications of Satisfiability Testing -- SAT 20..

18th International Conference, Austin, TX, USA, September 2... Lecture Notes in Computer Science ; 9340;SpringerLink, Bücher

Heule, Marijn ; Weaver, Sean - 1st ed. 2015 . , 2015

Link: https://doi.org/10.1007/..

13

Reusing the Assignment Trail in CDCL Solvers: System descri..:

van der Tak, Peter ; Ramos, Antonio ; Heule, Marijn
Journal on Satisfiability, Boolean Modeling and Computation. 7 (2011) 4 - p. 133-138 , 2011

Link: https://doi.org/10.3233/..

14

Introduction to Mathematics of Satisfiability, Victor W. Ma..:

Heule, Marijn
Theory and Practice of Logic Programming. 11 (2010) 1 - p. 126-130 , 2010

Link: https://doi.org/10.1017/..

15

Parallel SAT Solving using Bit-level Operations1:

Heule, Marijn ; van Maaren, Hans ; Speckenmeyer, Ewald...
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 99-116 , 2008

Link: https://doi.org/10.3233/..