Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Intensification Search in Modern SAT Solvers - (Poster Presentation)., , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 491-492. Springer, (2012)About Some UP-Based Polynomial Fragments of SAT., , , and . ISAIM, (2014)Mining Gradual Itemsets Using Sequential Pattern Mining., , and . FUZZ-IEEE, page 1-6. IEEE, (2019)A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence., , , and . ECAI, volume 242 of Frontiers in Artificial Intelligence and Applications, page 258-263. IOS Press, (2012)Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers., , and . SARA, AAAI, (2013)Extracting Frequent Gradual Patterns Using Constraints Modeling., , , , and . CoRR, (2019)A Comparative Study of SAT-Based Itemsets Mining., , , and . SGAI Conf., page 37-52. Springer, (2016)On the Discovery of Frequent Gradual Patterns: A Symbolic AI-Based Framework., , , , , and . SN Comput. Sci., 5 (7): 944 (October 2024)Extracting MUCs from Constraint Networks., , , and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 113-117. IOS Press, (2006)Tractable Cover Compilations., , , , and . IJCAI (1), page 122-127. Morgan Kaufmann, (1997)