Searching for authors named "Marijn Heule" – sorted by Relevance.
-
Aligning cnf- and equivalence-reasoning
- Aligning CNF- and Equivalence-Reasoning Marijn Heule ⋆ and Hans van Maaren Department
- Cited by 8 (0 self) – Add To MetaCart
-
From idempotent generalized boolean assignments to multi-bit search
- From Idempotent Generalized Boolean Assignments to Multi-bit Search Marijn Heule ⋆ and Hans van
- Cited by 1 (0 self) – Add To MetaCart
-
Chapter 6 Incomplete Algorithms
- Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsch IOS Press
- Add To MetaCart
-
Match_eq: Implementing Efficiency and Additional Reasoning into a Lookahead SAT-Solver
- Efficiency and Additional Reasoning into a Lookahead SAT-Solver Marijn J.H. Heule ∗ m
- Add To MetaCart
-
Model Counting
- Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsch IOS Press
- Add To MetaCart
-
Chapter 12 Satisfiability Modulo Theories
- Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsch IOS Press
- Add To MetaCart

