J
Jinchang Wang
Researcher at Georgia Institute of Technology
Publications - 4
Citations - 318
Jinchang Wang is an academic researcher from Georgia Institute of Technology. The author has contributed to research in topics: Horn clause & Linear programming. The author has an hindex of 4, co-authored 4 publications receiving 313 citations.
Papers
More filters
Journal ArticleDOI
Solving propositional satisfiability problems
Robert G. Jeroslow,Jinchang Wang +1 more
TL;DR: An algorithm for the satisfiability problem of prepositional logic is described, which is significantly more efficient for this problem than is a general mixed-integer programming code.
Journal ArticleDOI
Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base
Robert G. Jeroslow,Jinchang Wang +1 more
TL;DR: It is shown how the structure of proofs in a Horn clause knowledge base is completely described by certain of the extreme solutions to a suitable “dual” linear constraint set.
Journal ArticleDOI
Question-asking strategies for Horn clause systems
Jinchang Wang,John H. Vande Vate +1 more
TL;DR: This paper analyzes effectiveness and efficiency of question-asking strategies in expert systems with Horn clause knowledge bases and presents an algorithm which simultaneously performs deduction and question selection in log-linear time.
Rule-based expert systems and discrete optimization
TL;DR: This thesis proves that the Leontief flow problem enjoys the same strong integrality property as the network flow problem, in particular, all extreme points of the polyhedron of a Leontife flow problem with integral data are integral.