Herbrand Award

The International Conference on Automated Deduction (CADE) Herbrand Award for Distinguished Contributions to Automated Reasoning was presented to Armin Biere in recognition of his outstanding contributions to satisfiability solving, including innovative applications, methods for formula pre- and in-processing and proof generation, and a series of award-winning solvers, with deep impact on model checking and verification at IJCAR 2024, the 12th International Joint Conference on Automated Reasoning.

[ herbrand-award-acceptance-speech | en.wikipedia | de.wikipedia ]