Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
暂无分享,去创建一个
[1] L. Ji,et al. Large sets of disjoint packings on 6k+5 points , 2004, J. Comb. Theory, Ser. A.
[2] Zurab Khasidashvili,et al. Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification , 2007 .
[3] Peter J. Stuckey,et al. MiniZinc: Towards a Standard CP Modelling Language , 2007, CP.
[4] Victor W. Marek,et al. Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer , 2016, SAT.
[5] Landang Yuan,et al. Some infinite families of large sets of Kirkman triple systems , 2008 .
[6] Toby Walsh,et al. Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.
[7] Jian Zhang. Automatic symmetry breaking method combined with SAT , 2001, SAC.
[8] M. Stickel,et al. Automated reasoning and exhaustive search: Quasigroup existence problems☆ , 1995 .
[9] Jia-Xi Lu. On Large Sets of Disjoint Steiner Triple Systems II , 1983, J. Comb. Theory, Ser. A.
[10] Lu Jia-xi,et al. On Large Sets of Disjoint Steiner Triple Systems, IV , 1983, J. Comb. Theory, Ser. A.
[11] Jian Zhang,et al. Computer Search for Large Sets of Idempotent Quasigroups , 2007, ASCM.
[12] Hantao Zhang,et al. Combinatorial Designs by SAT Solvers , 2021, Handbook of Satisfiability.
[13] Arthur Cayley,et al. The Collected Mathematical Papers: On the Triadic Arrangements of Seven and Fifteen Things , 1850 .
[14] R. Brayton,et al. Improvements to Combinational Equivalence Checking , 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.
[15] Masayuki Fujita,et al. Automatic Generation of Some Results in Finite Algebra , 1993, IJCAI.
[16] Czesław Kościelny. Generating quasigroups for cryptographic applications , 2002 .
[17] Charles C. Lindner,et al. The Construction of Large Sets of Idempotent Quasigroups , 1988, Eur. J. Comb..
[18] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[19] Mark E. Stickel,et al. Implementing the Davis–Putnam Method , 2000, Journal of Automated Reasoning.
[20] Danilo Gligoroski,et al. A Public Key Block Cipher Based on Multivariate Quadratic Quasigroups , 2008, IACR Cryptol. ePrint Arch..
[21] Marijn J. H. Heule,et al. DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs , 2014, SAT.
[22] Robert K. Brayton,et al. Using SAT for combinational equivalence checking , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.
[23] Hantao Zhang,et al. SEM: a System for Enumerating Models , 1995, IJCAI.
[24] Jason Baumgartner,et al. Scalable Sequential Equivalence Checking across Arbitrary Design Transformations , 2006, 2006 International Conference on Computer Design.
[25] William McCune,et al. Mace4 Reference Manual and Guide , 2003, ArXiv.
[26] Marijn J. H. Heule,et al. Verifying Refutations with Extended Resolution , 2013, CADE.
[27] Hantao Zhang,et al. SATO: An Efficient Propositional Prover , 1997, CADE.
[28] Yanxun Chang. The spectrum for large sets of idempotent quasigroups , 2000 .