Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Knot Pipatsrisawat
@incollection{DBLP:series/faia/DarwicheP21,
author = {Adnan Darwiche and
Knot Pipatsrisawat},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Complete Algorithms},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {101--132},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200986},
doi = {10.3233/FAIA200986},
timestamp = {Fri, 06 May 2022 08:03:54 +0200},
biburl = {https://dblp.org/rec/series/faia/DarwicheP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/OoWLSSPJKG20,
author = {Yin May Oo and
Theeraphol Wattanavekin and
Chenfang Li and
Pasindu De Silva and
Supheakmungkol Sarin and
Knot Pipatsrisawat and
Martin Jansche and
Oddur Kjartansson and
Alexander Gutkin},
editor = {Nicoletta Calzolari and
Fr{\'{e}}d{\'{e}}ric B{\'{e}}chet and
Philippe Blache and
Khalid Choukri and
Christopher Cieri and
Thierry Declerck and
Sara Goggi and
Hitoshi Isahara and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis},
title = {Burmese Speech Corpus, Finite-State Text Normalization and Pronunciation
Grammars with an Application to Text-to-Speech},
booktitle = {Proceedings of The 12th Language Resources and Evaluation Conference,
{LREC} 2020, Marseille, France, May 11-16, 2020},
pages = {6328--6339},
publisher = {European Language Resources Association},
year = {2020},
url = {https://aclanthology.org/2020.lrec-1.777/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/OoWLSSPJKG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/HeCKRKGDJJSP20,
author = {Fei He and
Shan{-}Hui Cathy Chu and
Oddur Kjartansson and
Clara Rivera and
Anna Katanova and
Alexander Gutkin and
Isin Demirsahin and
Cibu Johny and
Martin Jansche and
Supheakmungkol Sarin and
Knot Pipatsrisawat},
editor = {Nicoletta Calzolari and
Fr{\'{e}}d{\'{e}}ric B{\'{e}}chet and
Philippe Blache and
Khalid Choukri and
Christopher Cieri and
Thierry Declerck and
Sara Goggi and
Hitoshi Isahara and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis},
title = {Open-source Multi-speaker Speech Corpora for Building Gujarati, Kannada,
Malayalam, Marathi, Tamil and Telugu Speech Synthesis Systems},
booktitle = {Proceedings of The 12th Language Resources and Evaluation Conference,
{LREC} 2020, Marseille, France, May 11-16, 2020},
pages = {6494--6503},
publisher = {European Language Resources Association},
year = {2020},
url = {https://aclanthology.org/2020.lrec-1.800/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/HeCKRKGDJJSP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/Guevara-RukozDH20,
author = {Adriana Guevara{-}Rukoz and
Isin Demirsahin and
Fei He and
Shan{-}Hui Cathy Chu and
Supheakmungkol Sarin and
Knot Pipatsrisawat and
Alexander Gutkin and
Alena Butryna and
Oddur Kjartansson},
editor = {Nicoletta Calzolari and
Fr{\'{e}}d{\'{e}}ric B{\'{e}}chet and
Philippe Blache and
Khalid Choukri and
Christopher Cieri and
Thierry Declerck and
Sara Goggi and
Hitoshi Isahara and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis},
title = {Crowdsourcing Latin American Spanish for Low-Resource Text-to-Speech},
booktitle = {Proceedings of The 12th Language Resources and Evaluation Conference,
{LREC} 2020, Marseille, France, May 11-16, 2020},
pages = {6504--6513},
publisher = {European Language Resources Association},
year = {2020},
url = {https://aclanthology.org/2020.lrec-1.801/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/Guevara-RukozDH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06778,
author = {Alena Butryna and
Shan{-}Hui Cathy Chu and
Isin Demirsahin and
Alexander Gutkin and
Linne Ha and
Fei He and
Martin Jansche and
Cibu Johny and
Anna Katanova and
Oddur Kjartansson and
Chenfang Li and
Tatiana Merkulova and
Yin May Oo and
Knot Pipatsrisawat and
Clara Rivera and
Supheakmungkol Sarin and
Pasindu De Silva and
Keshan Sodimana and
Richard Sproat and
Theeraphol Wattanavekin and
Jaka Aris Eko Wibawa},
title = {Google Crowdsourced Speech Corpora and Related Open-Source Resources
for Low-Resource Languages and Dialects: An Overview},
journal = {CoRR},
volume = {abs/2010.06778},
year = {2020},
url = {https://arxiv.org/abs/2010.06778},
eprinttype = {arXiv},
eprint = {2010.06778},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/SilvaWHP18,
author = {Pasindu De Silva and
Theeraphol Wattanavekin and
Tang Hao and
Knot Pipatsrisawat},
editor = {Nicoletta Calzolari and
Khalid Choukri and
Christopher Cieri and
Thierry Declerck and
Sara Goggi and
K{\^{o}}iti Hasida and
Hitoshi Isahara and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis and
Takenobu Tokunaga},
title = {Voice Builder: {A} Tool for Building Text-To-Speech Voices},
booktitle = {Proceedings of the Eleventh International Conference on Language Resources
and Evaluation, {LREC} 2018, Miyazaki, Japan, May 7-12, 2018},
publisher = {European Language Resources Association {(ELRA)}},
year = {2018},
url = {http://www.lrec-conf.org/proceedings/lrec2018/summaries/8887.html},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/SilvaWHP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/WibawaSLPSKGJH18,
author = {Jaka Aris Eko Wibawa and
Supheakmungkol Sarin and
Chenfang Li and
Knot Pipatsrisawat and
Keshan Sodimana and
Oddur Kjartansson and
Alexander Gutkin and
Martin Jansche and
Linne Ha},
editor = {Nicoletta Calzolari and
Khalid Choukri and
Christopher Cieri and
Thierry Declerck and
Sara Goggi and
K{\^{o}}iti Hasida and
Hitoshi Isahara and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis and
Takenobu Tokunaga},
title = {Building Open Javanese and Sundanese Corpora for Multilingual Text-to-Speech},
booktitle = {Proceedings of the Eleventh International Conference on Language Resources
and Evaluation, {LREC} 2018, Miyazaki, Japan, May 7-12, 2018},
publisher = {European Language Resources Association {(ELRA)}},
year = {2018},
url = {http://www.lrec-conf.org/proceedings/lrec2018/summaries/8888.html},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/WibawaSLPSKGJH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sltu/KjartanssonSPJH18,
author = {Oddur Kjartansson and
Supheakmungkol Sarin and
Knot Pipatsrisawat and
Martin Jansche and
Linne Ha},
editor = {Shyam S. Agrawal},
title = {Crowd-Sourced Speech Corpora for Javanese, Sundanese, Sinhala, Nepali,
and Bangladeshi Bengali},
booktitle = {6th Intl. Workshop on Spoken Language Technologies for Under-Resourced
Languages, {SLTU} 2018, 29-31 August 2018, Gurugram, India},
pages = {52--55},
publisher = {{ISCA}},
year = {2018},
url = {https://doi.org/10.21437/SLTU.2018-11},
doi = {10.21437/SLTU.2018-11},
timestamp = {Tue, 29 Mar 2022 16:13:21 +0200},
biburl = {https://dblp.org/rec/conf/sltu/KjartanssonSPJH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sltu/SodimanaSSKJPH18,
author = {Keshan Sodimana and
Pasindu De Silva and
Supheakmungkol Sarin and
Oddur Kjartansson and
Martin Jansche and
Knot Pipatsrisawat and
Linne Ha},
editor = {Shyam S. Agrawal},
title = {A Step-by-Step Process for Building {TTS} Voices Using Open Source
Data and Frameworks for Bangla, Javanese, Khmer, Nepali, Sinhala,
and Sundanese},
booktitle = {6th Intl. Workshop on Spoken Language Technologies for Under-Resourced
Languages, {SLTU} 2018, 29-31 August 2018, Gurugram, India},
pages = {66--70},
publisher = {{ISCA}},
year = {2018},
url = {https://doi.org/10.21437/SLTU.2018-14},
doi = {10.21437/SLTU.2018-14},
timestamp = {Mon, 15 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sltu/SodimanaSSKJPH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sltu/SodimanaSSWGP18,
author = {Keshan Sodimana and
Pasindu De Silva and
Richard Sproat and
Theeraphol Wattanavekin and
Alexander Gutkin and
Knot Pipatsrisawat},
editor = {Shyam S. Agrawal},
title = {Text Normalization for Bangla, Khmer, Nepali, Javanese, Sinhala and
Sundanese Text-to-Speech Systems},
booktitle = {6th Intl. Workshop on Spoken Language Technologies for Under-Resourced
Languages, {SLTU} 2018, 29-31 August 2018, Gurugram, India},
pages = {147--151},
publisher = {{ISCA}},
year = {2018},
url = {https://doi.org/10.21437/SLTU.2018-31},
doi = {10.21437/SLTU.2018-31},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sltu/SodimanaSSWGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/GutkinHJPS16,
author = {Alexander Gutkin and
Linne Ha and
Martin Jansche and
Knot Pipatsrisawat and
Richard Sproat},
editor = {Nicoletta Calzolari and
Khalid Choukri and
Thierry Declerck and
Sara Goggi and
Marko Grobelnik and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis},
title = {{TTS} for Low Resource Languages: {A} Bangla Synthesizer},
booktitle = {Proceedings of the Tenth International Conference on Language Resources
and Evaluation {LREC} 2016, Portoro{\v{z}}, Slovenia, May 23-28, 2016},
publisher = {European Language Resources Association {(ELRA)}},
year = {2016},
url = {http://www.lrec-conf.org/proceedings/lrec2016/summaries/286.html},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/GutkinHJPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sltu/GutkinHJKPS16,
author = {Alexander Gutkin and
Linne Ha and
Martin Jansche and
Oddur Kjartansson and
Knot Pipatsrisawat and
Richard Sproat},
editor = {Sakriani Sakti and
Mirna Adriani and
Ayu Purwarianti and
Laurent Besacier and
Eric Castelli and
Pascal Nocera},
title = {Building Statistical Parametric Multi-speaker Synthesis for Bangladeshi
Bangla},
booktitle = {SLTU-2016, 5th Workshop on Spoken Language Technologies for Under-resourced
languages, 9-12 May 2016, Yogyakarta, Indonesia},
series = {Procedia Computer Science},
volume = {81},
pages = {194--200},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.04.049},
doi = {10.1016/J.PROCS.2016.04.049},
timestamp = {Wed, 23 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sltu/GutkinHJKPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/SchumannMMPSCD13,
author = {Johann Schumann and
Timmy Mbaya and
Ole J. Mengshoel and
Knot Pipatsrisawat and
Ashok N. Srivastava and
Arthur Choi and
Adnan Darwiche},
title = {Software health management with Bayesian networks},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {4},
pages = {271--292},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0214-y},
doi = {10.1007/S11334-013-0214-Y},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/SchumannMMPSCD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/PipatsrisawatD11,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
title = {On the power of clause-learning {SAT} solvers as resolution engines},
journal = {Artif. Intell.},
volume = {175},
number = {2},
pages = {512--525},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.10.002},
doi = {10.1016/J.ARTINT.2010.10.002},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/PipatsrisawatD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/HeCPDE10,
author = {Dan He and
Arthur Choi and
Knot Pipatsrisawat and
Adnan Darwiche and
Eleazar Eskin},
title = {Optimal algorithms for haplotype assembly from whole-genome sequence
data},
journal = {Bioinform.},
volume = {26},
number = {12},
pages = {183--190},
year = {2010},
url = {https://doi.org/10.1093/bioinformatics/btq215},
doi = {10.1093/BIOINFORMATICS/BTQ215},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/HeCPDE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PipatsrisawatD10,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
title = {On Modern Clause-Learning Satisfiability Solvers},
journal = {J. Autom. Reason.},
volume = {44},
number = {3},
pages = {277--301},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9156-3},
doi = {10.1007/S10817-009-9156-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/PipatsrisawatD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/PipatsrisawatD10,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Top-Down Algorithms for Constructing Structured {DNNF:} Theoretical
and Practical Implications},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {3--8},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17704},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/PipatsrisawatD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/PipatsrisawatD10a,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {On Decomposability and Interaction Functions},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {9--14},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17705},
timestamp = {Mon, 23 Aug 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/PipatsrisawatD10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PipatsrisawatD09,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
editor = {Ian P. Gent},
title = {On the Power of Clause-Learning {SAT} Solvers with Restarts},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {654--668},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_51},
doi = {10.1007/978-3-642-04244-7\_51},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/PipatsrisawatD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PipatsrisawatD09,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
editor = {Craig Boutilier},
title = {A New d-DNNF-Based Bound Computation Algorithm for Functional {E-MAJSAT}},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {590--595},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/104.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/PipatsrisawatD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PipatsrisawatD09,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
editor = {Oliver Kullmann},
title = {Width-Based Restart Policies for Clause-Learning Satisfiability Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
International Conference, {SAT} 2009, Swansea, UK, June 30 - July
3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5584},
pages = {341--355},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02777-2\_32},
doi = {10.1007/978-3-642-02777-2\_32},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/PipatsrisawatD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/DarwicheP09,
author = {Adnan Darwiche and
Knot Pipatsrisawat},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Complete Algorithms},
booktitle = {Handbook of Satisfiability},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {185},
pages = {99--130},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-58603-929-5-99},
doi = {10.3233/978-1-58603-929-5-99},
timestamp = {Fri, 06 May 2022 08:00:40 +0200},
biburl = {https://dblp.org/rec/series/faia/DarwicheP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/PipatsrisawatPCCD08,
author = {Knot Pipatsrisawat and
Akop Palyan and
Mark Chavira and
Arthur Choi and
Adnan Darwiche},
title = {Solving Weighted Max-SAT Problems in a Reduced Search Space: {A} Performance
Analysis},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {4},
number = {2-4},
pages = {191--217},
year = {2008},
url = {https://doi.org/10.3233/sat190044},
doi = {10.3233/SAT190044},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/PipatsrisawatPCCD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PipatsrisawatD08,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
editor = {Dieter Fox and
Carla P. Gomes},
title = {New Compilation Languages Based on Structured Decomposability},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {517--522},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-082.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PipatsrisawatD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PipatsrisawatD08a,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
editor = {Dieter Fox and
Carla P. Gomes},
title = {A New Clause Learning Scheme for Efficient Unsatisfiability Proofs},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1481--1484},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-243.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PipatsrisawatD08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wabi/ChoiZHPDE08,
author = {Arthur Choi and
Noah Zaitlen and
Buhm Han and
Knot Pipatsrisawat and
Adnan Darwiche and
Eleazar Eskin},
editor = {Keith A. Crandall and
Jens Lagergren},
title = {Efficient Genome Wide Tagging by Reduction to {SAT}},
booktitle = {Algorithms in Bioinformatics, 8th International Workshop, {WABI} 2008,
Karlsruhe, Germany, September 15-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5251},
pages = {135--147},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87361-7\_12},
doi = {10.1007/978-3-540-87361-7\_12},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wabi/ChoiZHPDE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/PipatsrisawatD07,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
editor = {Mehmet A. Orgun and
John Thornton},
title = {Clone: Solving Weighted Max-SAT in a Reduced Search Space},
booktitle = {{AI} 2007: Advances in Artificial Intelligence, 20th Australian Joint
Conference on Artificial Intelligence, Gold Coast, Australia, December
2-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4830},
pages = {223--233},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76928-6\_24},
doi = {10.1007/978-3-540-76928-6\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/PipatsrisawatD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PipatsrisawatD07,
author = {Knot Pipatsrisawat and
Adnan Darwiche},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {A Lightweight Component Caching Scheme for Satisfiability Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {294--299},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_28},
doi = {10.1007/978-3-540-72788-0\_28},
timestamp = {Mon, 24 Feb 2020 19:23:27 +0100},
biburl = {https://dblp.org/rec/conf/sat/PipatsrisawatD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
