Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Knot Pipatsrisawat"'
Autor:
Knot Pipatsrisawat, Adnan Darwiche
Complete SAT algorithms form an important part of the SAT literature. From a theoretical perspective, complete algorithms can be used as tools for studying the complexities of different proof systems. From a practical point of view, these algorithms
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e489c1682679ab32322053b5b7dab14e
https://doi.org/10.3233/faia200986
https://doi.org/10.3233/faia200986
Autor:
Supheakmungkol Sarin, Knot Pipatsrisawat, Keshan Sodimana, Pasindu De Silva, Martin Jansche, Oddur Kjartansson, Linne Ha
Publikováno v:
SLTU
Text Normalization for Bangla, Khmer, Nepali, Javanese, Sinhala and Sundanese Text-to-Speech Systems
Autor:
Pasindu De Silva, Alexander Gutkin, Richard Sproat, Keshan Sodimana, Theeraphol Wattanavekin, Knot Pipatsrisawat
Publikováno v:
SLTU
Publikováno v:
SLTU
Autor:
Schumann, Johann, Mbaya, Timmy, Mengshoel, Ole J, Knot Pipatsrisawat, Srivastava, Ashok, Choi, Arthur, Darwiche, Adnan
Software Health Management (SWHM) is an emerging field which addresses the critical need to detect, diagnose, predict, and mitigate adverse events due to software faults and failures. These faults could arise for numerous reasons including coding err
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3bd34dac96770cfe07b70de233fc45bc
Autor:
Knot Pipatsrisawat, Ashok N. Srivastava, Johann Schumann, Arthur Choi, Adnan Darwiche, Timmy Mbaya, Ole J. Mengshoel
Publikováno v:
Innovations in Systems and Software Engineering. 9:271-292
Software health management (SWHM) is an emerging field which addresses the critical need to detect, diagnose, predict, and mitigate adverse events due to software faults and failures. These faults could arise for numerous reasons including coding err
Publikováno v:
Bioinformatics (Oxford, England), vol 26, iss 12
Bioinformatics
Bioinformatics
Motivation: Haplotype inference is an important step for many types of analyses of genetic variation in the human genome. Traditional approaches for obtaining haplotypes involve collecting genotype information from a population of individuals and the
Autor:
Knot Pipatsrisawat, Adnan Darwiche
Publikováno v:
Journal of Automated Reasoning. 44:277-301
In this paper, we present a perspective on modern clause-learning SAT solvers that highlights the roles of, and the interactions between, decision making and clause learning in these solvers. We discuss two limitations of these solvers from this pers
Publikováno v:
Journal on Satisfiability, Boolean Modeling and Computation. 4:191-217
We analyze, in this work, the performance of a recently introduced weighted Max-SAT solver, Clone, in the Max-SAT evaluation 2007. Clone utilizes a novel bound computation based on formula compilation that allows it to search in a reduced search spac
Autor:
Knot Pipatsrisawat, Adnan Darwiche
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642027765
SAT
SAT
In this paper, we present a new class of restart policies, called width-based policies, for modern clause-learning SAT solvers. The new policies encourage the solvers to find refutation proofs with small widths by determining restarting points based
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::813733003801402691302607c942adec
https://doi.org/10.1007/978-3-642-02777-2_32
https://doi.org/10.1007/978-3-642-02777-2_32