A lightweight component caching scheme for satisfiability solvers K Pipatsrisawat, A Darwiche Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007 | 393 | 2007 |
On the power of clause-learning SAT solvers as resolution engines K Pipatsrisawat, A Darwiche Artificial intelligence 175 (2), 512-525, 2011 | 196 | 2011 |
Optimal algorithms for haplotype assembly from whole-genome sequence data D He, A Choi, K Pipatsrisawat, A Darwiche, E Eskin Bioinformatics 26 (12), i183-i190, 2010 | 160 | 2010 |
Rsat 2.0: Sat solver description K Pipatsrisawat, A Darwiche Technical Report D–153, Automated Reasoning Group, Computer Science …, 2007 | 150 | 2007 |
New Compilation Languages Based on Structured Decomposability. K Pipatsrisawat, A Darwiche AAAI 8, 517-522, 2008 | 143 | 2008 |
On the power of clause-learning SAT solvers with restarts K Pipatsrisawat, A Darwiche International Conference on Principles and Practice of Constraint …, 2009 | 106 | 2009 |
Open-source multi-speaker speech corpora for building Gujarati, Kannada, Malayalam, Marathi, Tamil and Telugu speech synthesis systems F He, SHC Chu, O Kjartansson, C Rivera, A Katanova, A Gutkin, ... Proceedings of the Twelfth Language Resources and Evaluation Conference …, 2020 | 86 | 2020 |
Crowd-Sourced Speech Corpora for Javanese, Sundanese, Sinhala, Nepali, and Bangladeshi Bengali. O Kjartansson, S Sarin, K Pipatsrisawat, M Jansche, L Ha SLTU, 52-55, 2018 | 80 | 2018 |
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. K Pipatsrisawat, A Darwiche AAAI, 1481-1484, 2008 | 63 | 2008 |
Complete algorithms A Darwiche, K Pipatsrisawat Handbook of Satisfiability, 99-130, 2009 | 62 | 2009 |
Clone: Solving weighted Max-SAT in a reduced search space K Pipatsrisawat, A Darwiche AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007 | 54 | 2007 |
A Step-by-Step Process for Building TTS Voices Using Open Source Data and Frameworks for Bangla, Javanese, Khmer, Nepali, Sinhala, and Sundanese. K Sodimana, P De Silva, S Sarin, O Kjartansson, M Jansche, ... SLTU, 66-70, 2018 | 47 | 2018 |
A lower bound on the size of decomposable negation normal form T Pipatsrisawat, A Darwiche Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 345-350, 2010 | 47 | 2010 |
TTS for low resource languages: A Bangla synthesizer A Gutkin, L Ha, M Jansche, K Pipatsrisawat, R Sproat Proceedings of the Tenth International Conference on Language Resources and …, 2016 | 46 | 2016 |
Crowdsourcing Latin American Spanish for low-resource text-to-speech A Guevara-Rukoz, I Demirsahin, F He, SHC Chu, S Sarin, K Pipatsrisawat, ... Proceedings of the Twelfth Language Resources and Evaluation Conference …, 2020 | 45 | 2020 |
Software health management with Bayesian networks J Schumann, T Mbaya, O Mengshoel, K Pipatsrisawat, A Srivastava, ... Innovations in Systems and Software Engineering 9, 271-292, 2013 | 43 | 2013 |
Solving weighted Max-SAT problems in a reduced search space: A performance analysis K Pipatsrisawat, A Palyan, M Chavira, A Choi, A Darwiche Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 191-217, 2008 | 37 | 2008 |
On modern clause-learning satisfiability solvers K Pipatsrisawat, A Darwiche Journal of Automated Reasoning 44, 277-301, 2010 | 26 | 2010 |
Top-down algorithms for constructing structured DNNF: Theoretical and practical implications K Pipatsrisawat, A Darwiche ECAI 2010, 3-8, 2010 | 23 | 2010 |
A new d-DNNF-based bound computation algorithm for functional E-MAJSAT K Pipatsrisawat, A Darwiche Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 23 | 2009 |