Searching for authors named "Hans van Maaren" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Elliptic Approximations of Propositional Formulae
- …Elliptic Approximations of Propositional Formulae Hans van Maaren Abstract. A propositional…
- Cited by 11 (5 self) – Add To MetaCart
-
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 2 (0 self) – Add To MetaCart
-
Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights
- … van Maaren Department of Electrical Engineering, Mathematics and Computer Science Delft University…
- Cited by 9 (3 self) – Add To MetaCart
-
Hidden threshold phenomena for fixed-density SAT-formulae
- …Hidden threshold phenomena for fixed-density SAT-formulae Hans van Maaren Linda van Norden…
- Cited by 4 (0 self) – Add To MetaCart
-
Sums of squares, satisfiability and maximum satisfiability
- …Sums of Squares, Satisfiability and Maximum Satisfiability Hans van Maaren Linda van Norden Delft…
- Cited by 2 (0 self) – Add To MetaCart
-
A Two Phase Algorithm for Solving a Class of Hard Satisfiability Problems
- … satisfiability problems J.P. Warners, H. van Maaren Software Engineering (SEN) SEN-R9802 April 30, 1998 Report…
- Cited by 26 (6 self) – Add To MetaCart
-
Stabilization of parameter based look-ahead Sat solvers
- …Stabilization of parameter based look-ahead Sat solvers Hans van Maaren and Tom van der Velden…
- Add To MetaCart
-
A Linear Programming based
- … van Maaren Linda van Norden Technical University Delft Faculty of Information Technology and Systems…
- 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
Showing 1 through 10.
Next 10 →
