Marijn Heule
Identifiers
- Open LibraryOL10056493A
Top Subjects
- Computer algorithms (1)
- Computer software, verification (1)
Books by Marijn Heule
Total count: 2
-
Theory and Applications of Satisfiability Testing -- SAT 201518th International Conference, Austin, TX, USA, September 24-27, 2015, ProceedingsSpringer International Publishing AG2015-01-01
-
Automated Reasoning12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part ISpringer2024-01-01