Foundations of a DPLL-Based Solver for Fuzzy Answer Set Programs I Uhliarik International Joint Conference on Computational Intelligence, 99-117, 2019 | 2 | 2019 |
The Implementation of a Product Fuzzy DPLL Solver I Uhliarik Proceedings of the 12th International Joint Conference on Computational …, 2020 | 1 | 2020 |
Solving Fuzzy Answer Set Programs in Product Logic I Uhliarik Proceedings of the 9th International Joint Conference on Computational …, 2017 | 1 | 2017 |
Enhancing and Evaluating the Product Fuzzy DPLL Solver I Uhliarik SN Computer Science 3 (5), 2022 | | 2022 |
On the Transparency of a Product Fuzzy SAT Solver I Uhliarik Application of Knowledge Methods in Information Security (AKMIS) 1, 2021 | | 2021 |
DPLL-based Fuzzy SAT Solver for Product Logic: The Implementation I Uhliarik The Fifteenth International Conference on Fuzzy Set Theory and Applications, 88, 2020 | | 2020 |
Automatic Synthesis of Computationally Efficient Interest Point Detectors I Uhliarik Central European Seminar on Computer Graphics for Students (CESCG 2015), 109-116, 2015 | | 2015 |