A Structural and SAT Analysis of SANSCrypt.

James Geist Shaojie Zhang Yier Jin Travis Meade

Published in: AsianHOST (2022)

Keyphrases

structural information
database
optimal solution
sat solvers
structural analysis
data mining
clustering algorithm
special case
constraint satisfaction
quantitative analysis
satisfiability problem