Knot Pipatsrisawat

发表

Fei He, Adriana Guevara-Rukoz, Isin Demirsahin, 2020, LREC.

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2007, SAT.

Adnan Darwiche, Knot Pipatsrisawat, 2008 .

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2021, Handbook of Satisfiability.

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2008, AAAI.

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2010, Journal of Automated Reasoning.

Adnan Darwiche, Knot Pipatsrisawat, 2008, AAAI.

Adnan Darwiche, Knot Pipatsrisawat, Arthur Choi, 2008, J. Satisf. Boolean Model. Comput..

Supheakmungkol Sarin, Knot Pipatsrisawat, Oddur Kjartansson, 2018, SLTU.

Ole J. Mengshoel, Johann Schumann, Ashok N. Srivastava, 2013, Innovations in Systems and Software Engineering.

Richard Sproat, Knot Pipatsrisawat, Alexander Gutkin, 2016, LREC.

Supheakmungkol Sarin, Knot Pipatsrisawat, Alexander Gutkin, 2018, LREC.

Richard Sproat, Supheakmungkol Sarin, Knot Pipatsrisawat, 2018 .

Richard Sproat, Knot Pipatsrisawat, Alexander Gutkin, 2016, SLTU.

Adnan Darwiche, Knot Pipatsrisawat, 2006 .

Eleazar Eskin, Adnan Darwiche, Knot Pipatsrisawat, 2010, Bioinform..

Tang Hao, Knot Pipatsrisawat, Theeraphol Wattanavekin, 2018, LREC.

Eleazar Eskin, Buhm Han, Adnan Darwiche, 2008, WABI.

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2009, IJCAI.

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2011, Artif. Intell..

Ole J. Mengshoel, Johann Schumann, Adnan Darwiche, 2009 .

Adnan Darwiche, Knot Pipatsrisawat, 2009, CP.

Adnan Darwiche, Knot Pipatsrisawat, 2010, ECAI.

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2007, Australian Conference on Artificial Intelligence.

Adnan Darwiche, Knot Pipatsrisawat, 2021 .