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

Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings., , and . Int. J. Artif. Intell. Tools, 26 (1): 1760005:1-1760005:29 (2017)SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks., , , , and . BIOINFORMATICS, page 163-174. SCITEPRESS, (2023)SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks., , , , and . CMSB, volume 14137 of Lecture Notes in Computer Science, page 175-183. Springer, (2023)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 262-277. Springer, (2023)Implementing Efficient All Solutions SAT Solvers., and . CoRR, (2015)Implementing Efficient All Solutions SAT Solvers., and . ACM J. Exp. Algorithmics, 21 (1): 1.12:1-1.12:44 (2016)ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems., , , , , , and . CoRR, (2022)Compiling Pseudo-Boolean Constraints to SAT with Order Encoding., , and . ICTAI, page 1020-1027. IEEE Computer Society, (2013)Lemma Reusing for SAT based Planning and Scheduling., , , and . ICAPS, page 103-113. AAAI, (2006)Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 277-282. IOS Press, (2010)