M. Heule

No counted ratings yet

1 book

No biography yet.

Books

Sorted by popularity.

Handbook of SatisfiabilityA. Biere, M. Heule et al.
Handbook of Satisfiability
A. Biere, M. Heule, H. van Maaren · 2021
Want to read Rate