Practical complexities of probabilistic algorithms for solving Boolean polynomial systems

被引：0
|
作者：
Barbero, Stefano [1 ]
Bellini, Emanuele [2 ]
Sanna, Carlo [1 ]
Verbel, Javier [2 ]
机构：
[1] Department of Mathematical Sciences, Politecnico di Torino, Torino, Italy
[2] Cryptography Research Centre, Technology Innovation Institute, Abu Dhabi, United Arab Emirates
来源：
Discrete Applied Mathematics | 2022年 / 309卷
关键词：
Polynomials - Public key cryptography;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：13 / 31
相关论文
共 50 条
  • [21] Algorithms for solving Boolean Satisfiability in combinational circuits
    Silva, LGE
    Silveira, LM
    Marques-Silva, J
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, 1999, : 526 - 530
  • [22] Polynomial transformation of Boolean functions: Analysis of computational algorithms
    Akinin, A. A.
    Achkasov, A. V.
    Podval'nyi, S. L.
    Tyurin, S. V.
    AUTOMATION AND REMOTE CONTROL, 2014, 75 (07) : 1301 - 1308
  • [23] Boolean functional synthesis: hardness and practical algorithms
    S. Akshay
    Supratik Chakraborty
    Shubham Goel
    Sumith Kulal
    Shetal Shah
    Formal Methods in System Design, 2021, 57 : 53 - 86
  • [24] Polynomial transformation of Boolean functions: Analysis of computational algorithms
    A. A. Akinin
    A. V. Achkasov
    S. L. Podval’nyi
    S. V. Tyurin
    Automation and Remote Control, 2014, 75 : 1301 - 1308
  • [25] Boolean functional synthesis: hardness and practical algorithms
    Akshay, S.
    Chakraborty, Supratik
    Goel, Shubham
    Kulal, Sumith
    Shah, Shetal
    FORMAL METHODS IN SYSTEM DESIGN, 2021, 57 (01) : 53 - 86
  • [26] Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization
    Kobayashi, Koichi
    Hiraishi, Kunihiko
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2012, E95A (09) : 1512 - 1517
  • [27] Solving p-adic polynomial systems via iterative eigenvector algorithms
    Kulkarni, Avinash
    LINEAR & MULTILINEAR ALGEBRA, 2022, 70 (04): : 650 - 671
  • [28] An explicit polynomial to globalize algorithms for solving matrix polynomial equations
    Macias, E. M.
    Perez, R.
    Martinez, H. J.
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2023, 420
  • [29] FAST PROBABILISTIC ALGORITHMS FOR VERIFICATION OF POLYNOMIAL IDENTITIES
    SCHWARTZ, JT
    JOURNAL OF THE ACM, 1980, 27 (04) : 701 - 717
  • [30] Polynomial time decision algorithms for probabilistic automata
    Turrini, Andrea
    Hermanns, Holger
    INFORMATION AND COMPUTATION, 2015, 244 : 134 - 171
12345