External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Simplest SAT Model of Combining Matsui's Bounding Conditions with Sequential Encoding Method

SenPeng Wang, Dengguo Feng, Bin Hu 0011, Jie Guan, Tairong Shi, Kai Zhang 0026. The Simplest SAT Model of Combining Matsui's Bounding Conditions with Sequential Encoding Method. IACR Cryptology ePrint Archive, 2022:626, 2022. [doi]

Authors

SenPeng Wang

This author has not been identified. Look up 'SenPeng Wang' in Google

Dengguo Feng

This author has not been identified. Look up 'Dengguo Feng' in Google

Bin Hu 0011

This author has not been identified. Look up 'Bin Hu 0011' in Google

Jie Guan

This author has not been identified. Look up 'Jie Guan' in Google

Tairong Shi

This author has not been identified. Look up 'Tairong Shi' in Google

Kai Zhang 0026

This author has not been identified. Look up 'Kai Zhang 0026' in Google
runs on