| A lightweight component caching scheme for satisfiability solvers K Pipatsrisawat, A Darwiche Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007 | 353 | 2007 |
| On the power of clause-learning SAT solvers as resolution engines K Pipatsrisawat, A Darwiche Artificial intelligence 175 (2), 512-525, 2011 | 158 | 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 | 154 | 2010 |
| Rsat 2.0: Sat solver description K Pipatsrisawat, A Darwiche Technical Report D–153, Automated Reasoning Group, Computer Science …, 2007 | 146 | 2007 |
| New Compilation Languages Based on Structured Decomposability. K Pipatsrisawat, A Darwiche AAAI 8, 517-522, 2008 | 110 | 2008 |
| On the power of clause-learning SAT solvers with restarts K Pipatsrisawat, A Darwiche Principles and Practice of Constraint Programming-CP 2009: 15th …, 2009 | 97 | 2009 |
| A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. K Pipatsrisawat, A Darwiche AAAI, 1481-1484, 2008 | 58 | 2008 |
| Complete Algorithms. A Darwiche, K Pipatsrisawat Handbook of Satisfiability 185 (99-130), 142, 2009 | 51 | 2009 |
| Clone: Solving weighted Max-SAT in a reduced search space K Pipatsrisawat, A Darwiche Australian Conference on Artificial Intelligence 4830, 223-233, 2007 | 50 | 2007 |
| Crowd-sourced speech corpora for javanese, sundanese, sinhala, nepali, and bangladeshi bengali O Kjartansson, S Sarin, K Pipatsrisawat, M Jansche, L Ha | 48 | 2018 |
| 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 |
| 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 | 42 | 2010 |
| TTS for low resource languages: A Bangla synthesizer A Gutkin, L Ha, M Jansche, K Pipatsrisawat, R Sproat | 39 | 2016 |
| Open-source multi-speaker speech corpora for building gujarati, kannada, malayalam, marathi, tamil and telugu speech synthesis systems F He, SHC Chu, O Kjartansson, CE Rivera, A Katanova, A Gutkin, ... | 38 | 2020 |
| 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 | 25 | 2010 |
| A step-by-step process for building tts voices using open source data and framework for bangla, javanese, khmer, nepali, sinhala, and sundanese K Sodimana, K Pipatsrisawat, L Ha, M Jansche, O Kjartansson, P De Silva, ... | 24 | 2018 |
| Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications. K Pipatsrisawat, A Darwiche ECAI, 3-8, 2010 | 20 | 2010 |
| Width-based restart policies for clause-learning satisfiability solvers K Pipatsrisawat, A Darwiche Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 19 | 2009 |
| 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 | 18 | 2009 |
Adnan DarwicheProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
