Normal view
MARC view
MaxSAT Encoding for AES Partial Key Recovery (Topical Term)
Machine generated authority record.
Work cat.: (OSt)1611: Liao, Xiaojuan Author 6483, Applied satisfiability: cryptography, scheduling, and coalitional games, 2025.