Knot Pipatsrisawat
Publications by Year
Research Areas
Formal Methods in Verification, Speech Recognition and Synthesis, Natural Language Processing Techniques, Constraint Satisfaction and Optimization, Speech and dialogue systems
Most-Cited Works
- → A Lightweight Component Caching Scheme for Satisfiability Solvers(2007)208 cited
- → Optimal algorithms for haplotype assembly from whole-genome sequence data(2010)129 cited
- → On the power of clause-learning SAT solvers as resolution engines(2010)122 cited
- RSat 2.0: SAT Solver Description(2006)
- New compilation languages based on structured decomposability(2008)
- → On the Power of Clause-Learning SAT Solvers with Restarts(2009)66 cited
- → Crowd-Sourced Speech Corpora for Javanese, Sundanese, Sinhala, Nepali, and Bangladeshi Bengali(2018)54 cited
- A new clause learning scheme for efficient unsatisfiability proofs(2008)
- Open-source Multi-speaker Speech Corpora for Building Gujarati, Kannada, Malayalam, Marathi, Tamil and Telugu Speech Synthesis Systems(2020)
- → Clone: Solving Weighted Max-SAT in a Reduced Search Space(2007)37 cited