

Theory and Applications of Satisfiability Testing - SAT 2020
584,-

SOFSEM 2019
584,-

Computational Science and Its Applications - ICCSA 2025
854,-

Intelligent Computing Theories and Application
584,-

Computational Science and Its Applications - ICCSA 2025
971,-

Computational Science and Its Applications - ICCSA 2025
854,-

Computational Science and Its Applications - ICCSA 2017
584,-

Computational Science and Its Applications - ICCSA 2017
584,-

Transactions on Computational Science XXVII
584,-

Mathematics of Program Construction
611,-

Theory and Applications of Satisfiability Testing - SAT 2020
584,-

SOFSEM 2019
584,-

Computational Science and Its Applications - ICCSA 2025
854,-

Intelligent Computing Theories and Application
584,-

Computational Science and Its Applications - ICCSA 2025
971,-

Computational Science and Its Applications - ICCSA 2025
854,-

Computational Science and Its Applications - ICCSA 2017
584,-

Computational Science and Its Applications - ICCSA 2017
584,-

Transactions on Computational Science XXVII
584,-

Mathematics of Program Construction
611,-















