Inverting 43-step MD4 via Cube-and-Conquer (2022)
Attributed to:
The next level of SAT solving for very hard problems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Other
Parent Publication: IJCAI International Joint Conference on Artificial Intelligence
ISSN: 10450823