| 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
|