Seguir
Knot Pipatsrisawat
Knot Pipatsrisawat
Google APAC
Dirección de correo verificada de google.com
Título
Citado por
Citado por
Año
A lightweight component caching scheme for satisfiability solvers
K Pipatsrisawat, A Darwiche
Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007
3792007
On the power of clause-learning SAT solvers as resolution engines
K Pipatsrisawat, A Darwiche
Artificial intelligence 175 (2), 512-525, 2011
1832011
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
1582010
Rsat 2.0: Sat solver description
K Pipatsrisawat, A Darwiche
Technical Report D–153, Automated Reasoning Group, Computer Science …, 2007
1512007
New Compilation Languages Based on Structured Decomposability.
K Pipatsrisawat, A Darwiche
AAAI 8, 517-522, 2008
1342008
On the power of clause-learning SAT solvers with restarts
K Pipatsrisawat, A Darwiche
International Conference on Principles and Practice of Constraint …, 2009
1042009
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
662020
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
662018
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs.
K Pipatsrisawat, A Darwiche
AAAI, 1481-1484, 2008
632008
Complete Algorithms.
A Darwiche, K Pipatsrisawat
Handbook of Satisfiability 185 (99-130), 142, 2009
572009
Clone: Solving weighted Max-SAT in a reduced search space
K Pipatsrisawat, A Darwiche
AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007
542007
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
482010
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
432013
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
422016
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
382018
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
372008
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
322020
On modern clause-learning satisfiability solvers
K Pipatsrisawat, A Darwiche
Journal of Automated Reasoning 44, 277-301, 2010
262010
Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications.
K Pipatsrisawat, A Darwiche
ECAI, 3-8, 2010
232010
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
212009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20