共 50 条
- [22] Compiling Pseudo-Boolean Constraints to SAT with Order Encoding [J]. 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 1020 - 1027
- [26] On Higher-order Correlation Immunity and Higher Nonlinearity for a Class of Boolean Functions [J]. 2016 INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING AND COMMUNICATIONS TECHNOLOGY (IECT 2016), 2016, : 489 - 493
- [28] On the Multiplicative Complexity of Boolean Functions and Bitsliced Higher-Order Masking [J]. CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2016, 2016, 9813 : 457 - 478