Knot Pipatsrisawat

29 papers A* 3A 5B 6C 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2024 conf
ICNLSP
Zaw Htet Aung, Thanachot Thavornmongkol, Atirut Boribalburephan, Vittavas Tangsriworakan, Knot Pipatsrisawat, Titipat Achakulvisut
2021 ch.
Handbook of Satisfiability
Adnan Darwiche, Knot Pipatsrisawat
2020 B conf
LREC
Yin May Oo, Theeraphol Wattanavekin, Chenfang Li, Pasindu De Silva, Supheakmungkol Sarin, Knot Pipatsrisawat, Martin Jansche, Oddur Kjartansson, Alexander Gutkin
2020 B conf
LREC
Adriana Guevara-Rukoz, Isin Demirsahin, Fei He, Shan-Hui Cathy Chu, Supheakmungkol Sarin, Knot Pipatsrisawat, Alexander Gutkin, Alena Butryna, Oddur Kjartansson
2020 J jnl
CoRR
Alena Butryna, Shan-Hui Cathy Chu, Isin Demirsahin, Alexander Gutkin, Linne Ha, Fei He, Martin Jansche, Cibu Johny, Anna Katanova, Oddur Kjartansson, Chenfang Li, Tatiana Merkulova, Yin May Oo, Knot Pipatsrisawat, Clara Rivera, Supheakmungkol Sarin, Pasindu De Silva, Keshan Sodimana, Richard Sproat, Theeraphol Wattanavekin, Jaka Aris Eko Wibawa
2020 B conf
LREC
Fei He, Shan-Hui Cathy Chu, Oddur Kjartansson, Clara Rivera, Anna Katanova, Alexander Gutkin, Isin Demirsahin, Cibu Johny, Martin Jansche, Supheakmungkol Sarin, Knot Pipatsrisawat
2018 conf
SLTU
Keshan Sodimana, Pasindu De Silva, Supheakmungkol Sarin, Oddur Kjartansson, Martin Jansche, Knot Pipatsrisawat, Linne Ha
2018 B conf
LREC
Jaka Aris Eko Wibawa, Supheakmungkol Sarin, Chenfang Li, Knot Pipatsrisawat, Keshan Sodimana, Oddur Kjartansson, Alexander Gutkin, Martin Jansche, Linne Ha
2018 conf
SLTU
Oddur Kjartansson, Supheakmungkol Sarin, Knot Pipatsrisawat, Martin Jansche, Linne Ha
2018 conf
SLTU
Keshan Sodimana, Pasindu De Silva, Richard Sproat, Theeraphol Wattanavekin, Alexander Gutkin, Knot Pipatsrisawat
2018 B conf
LREC
Pasindu De Silva, Theeraphol Wattanavekin, Tang Hao, Knot Pipatsrisawat
2016 conf
SLTU
Alexander Gutkin, Linne Ha, Martin Jansche, Oddur Kjartansson, Knot Pipatsrisawat, Richard Sproat
2016 B conf
LREC
Alexander Gutkin, Linne Ha, Martin Jansche, Knot Pipatsrisawat, Richard Sproat
2013 J jnl
Innov. Syst. Softw. Eng.
Johann Schumann, Timmy Mbaya, Ole J. Mengshoel, Knot Pipatsrisawat, Ashok N. Srivastava, Arthur Choi, Adnan Darwiche
2011 J jnl
Artif. Intell.
Knot Pipatsrisawat, Adnan Darwiche
2010 A conf
ECAI
Knot Pipatsrisawat, Adnan Darwiche
2010 J jnl
J. Autom. Reason.
Knot Pipatsrisawat, Adnan Darwiche
2010 J jnl
Bioinform.
Dan He, Arthur Choi, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin
2010 A conf
ECAI
Knot Pipatsrisawat, Adnan Darwiche
2009 A* conf
IJCAI
Knot Pipatsrisawat, Adnan Darwiche
2009 ch.
Handbook of Satisfiability
Adnan Darwiche, Knot Pipatsrisawat
2009 A conf
CP
Knot Pipatsrisawat, Adnan Darwiche
2009 A conf
SAT
Knot Pipatsrisawat, Adnan Darwiche
2008 A* conf
AAAI
Knot Pipatsrisawat, Adnan Darwiche
2008 C conf
WABI
Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin
2008 A* conf
AAAI
Knot Pipatsrisawat, Adnan Darwiche
2008 J jnl
J. Satisf. Boolean Model. Comput.
Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche
2007 A conf
SAT
Knot Pipatsrisawat, Adnan Darwiche
2007 conf
Australian Conference on Artificial Intelligence
Knot Pipatsrisawat, Adnan Darwiche