Searching for authors named "Marijn Heule" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
