11 - 15 out of 15Page size: 10
Sort by: Title

  1. Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation

    Emelyanov, P. G., Krishna, M., Kulkarni, V., Nandy, S. K., Ponomaryov, D. K. & Raha, S., Mar 2021, In: Programming and Computer Software. 47, 2, p. 108-118 11 p.

    Research output: Contribution to journal › Article › peer-review

  2. Cartesian decomposition in data analysis

    Emelyanov, P. & Ponomaryov, D., 18 Oct 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., p. 55-60 6 p. 8071964

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. AND–decomposition of boolean polynomials with prescribed shared variables

    Emelyanov, P., 1 Jan 2016, Algorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings. Springer, Vol. 9602. p. 164-175 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9602).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  4. Analysis of the equality relations for the program terms

    Emelianov, P. G., 1 Jan 1996, Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Springer, p. 174-188 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1145).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  5. Algorithmic issues of AND-decomposition of boolean formulas

    Emelyanov, P. G. & Ponomaryov, D. K., 1 May 2015, In: Programming and Computer Software. 41, 3, p. 162-169 8 p.

    Research output: Contribution to journal › Article › peer-review

Previous 1 2 Next

ID: 3442536