학술논문
'학술논문'
에서 검색결과 26건 | 목록
1~10
Academic Journal
In Artificial Intelligence 2011 175(2):512-525
Report
Butryna, Alena; Chu, Shan-Hui Cathy; Demirsahin, Isin; Gutkin, Alexander; Ha, Linne; He, Fei; Jansche, Martin; Johny, Cibu; Katanova, Anna; Kjartansson, Oddur; Li, Chenfang; Merkulova, Tatiana; Oo, Yin May; Pipatsrisawat, Knot; Rivera, Clara; Sarin, Supheakmungkol; de Silva, Pasindu; Sodimana, Keshan; Sproat, Richard; Wattanavekin, Theeraphol; Wibawa, Jaka Aris Eko
Academic Journal
Bioinformatics. 26(12)
Academic Journal
Gutkin, Alexander; Ha, Linne; Jansche, Martin; Kjartansson, Oddur; Pipatsrisawat, Knot; Sproat, Richard
Procedia Computer Science; 2016, Vol. 81, p194-200, 7p
Book
Theory & Applications of Satisfiability Testing - Sat 2009; 2009, p341-355, 15p
Book
Principles & Practice of Constraint Programming - Cp 2009; 2009, p654-668, 15p
Book
Algorithms in Bioinformatics (9783540873600); 2008, p135-147, 13p
Book
Carbonell, Jaime G.; Siekmann, Jörg; Orgun, Mehmet A.; Thornton, John; Pipatsrisawat, Knot; Darwiche, Adnan
AI 2007: Advances in Artificial Intelligence; 2007, p223-233, 11p
Book
Hutchison, David; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Rangan, C. Pandu; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Vardi, Moshe Y.; Weikum, Gerhard; Marques-Silva, João; Sakallah, Karem A.; Pipatsrisawat, Knot; Darwiche, Adnan
Theory & Applications of Satisfiability Testing: SAT 2007; 2007, p294-299, 6p
Academic Journal
Schumann, Johann; Mbaya, Timmy; Mengshoel, Ole; Pipatsrisawat, Knot; Srivastava, Ashok; Choi, Arthur; Darwiche, Adnan
Innovations in Systems & Software Engineering; Dec2013, Vol. 9 Issue 4, p271-292, 22p
검색 결과 제한하기
제한된 항목
[AR] Pipatsrisawat, Knot
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어