@article{DBLP:journals/sncs/Uhliarik22,
 author = {Ivor Uhliarik},
 doi = {10.1007/s42979-022-01192-z},
 journal = {{SN} Comput. Sci.},
 keywords = {WP3},
 number = {5},
 pages = {388},
 title = {Enhancing and Evaluating the Product Fuzzy {DPLL} Solver},
 url = {https://doi.org/10.1007/s42979-022-01192-z},
 url_paper = {https://dai.fmph.uniba.sk/~uhliarik/sncs_2022_accepted.pdf},
 volume = {3},
 year = {2022}
}

{"_id":"7wn2mjEd39fZdneY4","bibbaseid":"uhliarik-enhancingandevaluatingtheproductfuzzydpllsolver-2022","author_short":["Uhliarik, I."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Ivor"],"propositions":[],"lastnames":["Uhliarik"],"suffixes":[]}],"doi":"10.1007/s42979-022-01192-z","journal":"SN Comput. Sci.","keywords":"WP3","number":"5","pages":"388","title":"Enhancing and Evaluating the Product Fuzzy DPLL Solver","url":"https://doi.org/10.1007/s42979-022-01192-z","url_paper":"https://dai.fmph.uniba.sk/~uhliarik/sncs_2022_accepted.pdf","volume":"3","year":"2022","bibtex":"@article{DBLP:journals/sncs/Uhliarik22,\n author = {Ivor Uhliarik},\n doi = {10.1007/s42979-022-01192-z},\n journal = {{SN} Comput. Sci.},\n keywords = {WP3},\n number = {5},\n pages = {388},\n title = {Enhancing and Evaluating the Product Fuzzy {DPLL} Solver},\n url = {https://doi.org/10.1007/s42979-022-01192-z},\n url_paper = {https://dai.fmph.uniba.sk/~uhliarik/sncs_2022_accepted.pdf},\n volume = {3},\n year = {2022}\n}\n\n","author_short":["Uhliarik, I."],"key":"DBLP:journals/sncs/Uhliarik22","id":"DBLP:journals/sncs/Uhliarik22","bibbaseid":"uhliarik-enhancingandevaluatingtheproductfuzzydpllsolver-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/s42979-022-01192-z"," paper":"https://dai.fmph.uniba.sk/~uhliarik/sncs_2022_accepted.pdf"},"keyword":["WP3"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://raw.githubusercontent.com/whitemech/tailor-publications.github.io/master/tailor.bib","dataSources":["wMCdMNmiucDu2pMmz","5fDj6rXeRevQyZND4"],"keywords":["wp3"],"search_terms":["enhancing","evaluating","product","fuzzy","dpll","solver","uhliarik"],"title":"Enhancing and Evaluating the Product Fuzzy DPLL Solver","year":2022}