Author of the publication

Efficient Genome Wide Tagging by Reduction to SAT.

, , , , , and . WABI, volume 5251 of Lecture Notes in Computer Science, page 135-147. Springer, (2008)

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

On Decomposability and Interaction Functions., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 9-14. IOS Press, (2010)On the power of clause-learning SAT solvers as resolution engines., and . Artif. Intell., 175 (2): 512-525 (2011)Open-source Multi-speaker Speech Corpora for Building Gujarati, Kannada, Malayalam, Marathi, Tamil and Telugu Speech Synthesis Systems., , , , , , , , , and 1 other author(s). LREC, page 6494-6503. European Language Resources Association, (2020)Complete Algorithms., and . Handbook of Satisfiability, volume 336 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 3-8. IOS Press, (2010)On Modern Clause-Learning Satisfiability Solvers., and . J. Autom. Reason., 44 (3): 277-301 (2010)A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT., and . IJCAI, page 590-595. (2009)Building Open Javanese and Sundanese Corpora for Multilingual Text-to-Speech., , , , , , , , and . LREC, European Language Resources Association (ELRA), (2018)On the Power of Clause-Learning SAT Solvers with Restarts., and . CP, volume 5732 of Lecture Notes in Computer Science, page 654-668. Springer, (2009)TTS for Low Resource Languages: A Bangla Synthesizer., , , , and . LREC, European Language Resources Association (ELRA), (2016)