Login / Signup
Ivor Uhliarik
ORCID
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 4
Top Topics
Sat Solvers
Propositional Logic
Answer Set Programs
Fuzzy Numbers
Top Venues
IJCCI
IJCCI (Selected Papers)
SN Comput. Sci.
</>
Publications
</>
Ivor Uhliarik
Enhancing and Evaluating the Product Fuzzy DPLL Solver.
SN Comput. Sci.
3 (5) (2022)
Ivor Uhliarik
The Implementation of a Product Fuzzy DPLL Solver.
IJCCI
(2020)
Ivor Uhliarik
Solving Fuzzy Answer Set Programs in Product Logic.
IJCCI
(2017)
Ivor Uhliarik
Foundations of a DPLL-Based Solver for Fuzzy Answer Set Programs.
IJCCI (Selected Papers)
(2017)