Jinchang Wang

18 papers C 1Misc 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A modified Holmquist‒Johnson‒Cook (HJC) constitutive model and its application to numerical simulations of explosions and impacts in rock materials.
Simul. Model. Pract. Theory
Yazhen Sun, Longyan Wang, Jinchang Wang, Changgen Tan, Youlin Ye, Kun Lin
2015 — conf
Self-Consciousness Cannot Be Programmed.
ICAART (2)
Jinchang Wang
2012 — conf
Will a Robot Be a Human?
ICAISC (2)
Jinchang Wang
2010 J jnl
An Exploratory Study of the Cyberbullying and Cyberstalking Experiences and Factors Related to Victimization of Students at a Public Liberal Arts College.
Int. J. Technoethics
Ellen Kraft, Jinchang Wang
2006 J jnl
The fastest itinerary in time-dependent decentralized travel information systems.
J. Comb. Optim.
Jinchang Wang, Thomas Kämpke
2005 J jnl
A cost-reducing question-selection algorithm for propositional knowledge-based systems.
Ann. Math. Artif. Intell.
Jinchang Wang
2004 J jnl
Shortest route computation in distributed systems.
Comput. Oper. Res.
Jinchang Wang, Thomas Kämpke
1998 J jnl
Inference Guiding in Propositional Knowledge Bases.
Ann. Math. Artif. Intell.
Jinchang Wang
1997 J jnl
An analysis on the inference guiding strategies--The benefits and costs.
Knowl. Based Syst.
Jinchang Wang
1996 J jnl
A Cost Effective Question-Asking Strategy for Horn Clause Systems.
Ann. Math. Artif. Intell.
Jinchang Wang, Evangelos Triantaphyllou
1996 C conf
A Human-Intelligence-Imitating Question-Asking Strategy for Propositional Knowledge-Based Systems.
IEA/AIE
Jinchang Wang
1996 — conf
Branching rules for propositional satisfiability test.
Satisfiability Problem: Theory and Applications
Jinchang Wang
1993 J jnl
Inference Flexibility in Horn Clause Knowledge Bases and the Simplex Method.
J. Autom. Reason.
Jinchang Wang
1992 Misc conf
A cost effective question asking strategy.
SAC
Evangelos Triantaphyllou, Jinchang Wang
1992 J jnl
Gainfree Leontief substitution flow problems.
Math. Program.
Robert G. Jeroslow, R. Kipp Martin, Ronald L. Rardin, Jinchang Wang
1990 J jnl
Question-Asking Strategies for Horn Clause Systems.
Ann. Math. Artif. Intell.
Jinchang Wang, John H. Vande Vate
1990 J jnl
Solving Propositional Satisfiability Problems.
Ann. Math. Artif. Intell.
Robert G. Jeroslow, Jinchang Wang
1989 J jnl
Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base.
INFORMS J. Comput.
Robert G. Jeroslow, Jinchang Wang