Soos, Mate, et al. 'Extending SAT solvers to cryptographic problems.' SAT 2009.

GPTKB entity

Statements (9)