Shortest route computation in distributed systemsJinchang Wang; Thomas Kaempke · 2004

Solving propositional satisfiability problemsRobert G. Jeroslow; Jinchang Wang · Annals of Mathematics and Artificial Intelligence · 1990

Gainfree Leontief substitution flow problemsRobert G. Jeroslow; Kipp Martin; Ronald L. Rardin; Jinchang Wang · Mathematical Programming · 1992

Desertification in China: An assessmentXunming Wang; Fahu Chen; Eerdun Hasi; Jinchang Li · 2008

Inference guiding in propositional knowledge basesJinchang Wang · Annals of Mathematics and Artificial Intelligence · 1998

Characterization of Recovery in Asphalt BindersMa, Fuquan; Luo, Xue; Huang, Zhiyi; Wang, Jinchang · Materials · 2020

Terahertz lenses based on nonuniform metasurfacesWang, Zhengbin; Chen, Jinchang; Xue, Manlin · Optics Communications · 2015

Study of a prototype detector for the Daya Bay neutrino experimentZhimin Wang; Changgen Yang; Mengyun Guan; Weili Zhong; Jinchang Liu; Zhiyong Zhang; Yayun Ding; Ruiguang Wang; Jun Cao; Yifang Wang; Haoqi Lu · 2009

IntroductionLuca Console; Gerhard Friedrich · Annals of Mathematics and Artificial Intelligence · 1994

Representing diagnosis knowledgeDavid Poole · Annals of Mathematics and Artificial Intelligence · 1994

Further contributions to characterizing diagnosisSheila McIlraith · Annals of Mathematics and Artificial Intelligence · 1994

Focusing on independent diagnosis problemsHartmut Freitag; Gerhard Friedrich · Annals of Mathematics and Artificial Intelligence · 1994

Sensor placement for diagnosabilityEthan Scarl · Annals of Mathematics and Artificial Intelligence · 1994

IntroductionJorge Lobo; Don Loveland; Arcot Rajasekar · Annals of Mathematics and Artificial Intelligence · 1994

Overview of disjunctive logic programmingJack Minker · Annals of Mathematics and Artificial Intelligence · 1994

PrefaceGunar E. Liepins · Annals of Mathematics and Artificial Intelligence · 1992