The inequality-satisfiability problem
- 作者Dorit S. Hochbaum; Erick Moreno-Centeno
- 卷第36卷
- 期第2期
- 印刷ISSN0167-6377
- 文件大小275.40KB
- 发表时间2008
- DOI10.1016/j.orl.2007.05.005
- 页码229-233
Clinical Application of Exhaled Nitric Oxide Measurements in a Korean PopulationSong, Woo-Jung; Kwon, Ji-Won; Kim, Eun-Jin; Lee, Sang-Min; Kim, Sae-Hoon; Lee, So-Yeon; Kim, Sang-Heon; Park, Heung-Woo; Chang, Yoon-Seok; Kim, Woo Kyung; Shim, Jung Yeon; Seo, Ju-Hee; Kim, Byoung-Ju; Kim, Hyo Bin; Song, Dae Jin; Jang, Gwang Cheon; Jang, An-Soo; Park, Jung-Won; Yoon, Ho-Joo; Lee, Joo-Shil; Cho, Sang-Heon; Hong, Soo-Jong · Allergy, Asthma & Immunology Research · 2015
Analysis of the MAP/G/1 Queue Under the Min( <i>N</i> , <i>D</i> )-PolicyLee, Ho Woo; Seo, Won Joo; Lee, Se Won; Jeon, Jongwoo · Stochastic Models · 2010
TEE Detection of Aortic Atheroma in Patients with Cerebral InfarctionChoi, Hyun-Seuk; Kim, Cheol-Ho; Park, Seung-Woo; Zo, Joo-Hee; Han, Kyu-Rok; Sohn, Dae-Won; Seo, Jung-Don; Lee, Young-Woo; Lee, Han-Bo; Park, Seong-Ho · Korean Circulation Journal · 1995
Asymptomatic Cardiac Involvements of Rheumatoid ArthritsJin, Dong Kyu; Park, Chang Gyu; Lee, Young Ho; Song, Gwan Gyu; Park, Sang Won; Ahn, Jeong Cheon; Song, Woo Hyuk; Kim, Young Hoon; Seo, Hong Seog; Shim, Wan Joo; Oh, Dong Joo; Ro, Young Moo · Korean Circulation Journal · 1997
Analysis of the <i>M/G</i> /1 Queueing System under the Triadic ( <i>N, D, J</i> )-PoliciesHo Woo, Lee; Seo, Won Joo; Lee, Se Won · Quality Technology & Quantitative Management · 2011
Quantitative localization of impacted mesiodens using panoramic and periapical radiographsChoi, Hang-Moon; Han, Jin-Woo; Park, In-Woo; Baik, Jee-Seon; Seo, Hyun-Woo; Lee, Joo-Hyun; Park, Ho-Won · Imaging Science in Dentistry · 2011
Clinicopathologic analysis of intraductal papillary neoplasm of bile duct: Korean multicenter cohort studyKim, Jae Ri; Jang, Kee-Taek; Jang, Jin-Young; Lee, Kyungbun; Kim, Jung Hoon; Kim, Haeryoung; Kim, Sun-Whe; Kwon, Wooil; Choi, Dong Wook; Heo, JinSeok; Han, In Woong; Hwang, Shin; Kim, Wan-Joon; Hong, Seung-Mo; Kim, Dong-Sik; Yu, Young-Dong; Kim, Joo Young; Nah, Yang Won; Park, Hyung Woo; Choi, Hye-Jeong; Han, Ho-Seong; Yoon, Yoo-Seok; Park, Sang Jae; Hong, Eun Kyung; Seo, Hyung Il; Park, Do Youn; Kang, Koo Jeong; Kang, Yu Na; Yu, Hee Chul; Moon, Woo Sung; Lim, Chang-Sup; Bae, Jeong Mo; Jo, Sungho; Lee, Wonae; Roh, Young Hun; Jeong, Jin Sook; Jeong, Chi-Young; Lee, Jong Sil; Song, In-Sang; Kim, Kyung-Hee; Kim, Ho Gak; Cho, Chang Ho; Joo, Sun-Hyung; Won, Kyu Yeoun; Kim, Hong Jin; Choi, Joon Hyuk; Chu, Chong-Woo; Lee, Jung Hee; Park, Il Young; Lee, Heejeong; Lee, Seung Eun; Kim, Hee Sung; Lee, Hyeon Kook; Cho, Min-Sun; Kim, Hongbeom; Han, Kang Min · HPB · 2019
Characteristics of Advanced Gastric Cancer Undetected on GastroscopySung, In Kyung; Kim, Young Choon; Yun, Jung Won; Seo, Hyun Il; Park, Dong Il; Cho, Yong Kyun; Kim, Hong Joo; Park, Jung Ho; Sohn, Chong Il; Jeon, Woo Kyu; Kim, Byung Ik; Oh, Suk Joong; Son, Byung Ho; Yoo, Chang Hak; Sohn, Jin Hee; Lee, Hwa Young; Won, Kyung Hee · The Korean Journal of Gastroenterology · 2011