Jinchang Wang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The fastest itinerary in time-dependent decentralized travel information systems Journal of Combinatorial Optimization	2007-06-21	Paper
A cost-reducing question-selection algorithm for propositional knowledge-based systems Annals of Mathematics and Artificial Intelligence	2005-05-20	Paper
Shortest route computation in distributed systems Computers & Operations Research	2004-11-12	Paper
A weight-balanced branching rule for SAT Mathematical and Computer Modelling	2004-08-06	Paper
Backtracking tactics in the backtrack method for SAT Mathematical and Computer Modelling	2002-05-05	Paper
Inference guiding in propositional knowledge bases Annals of Mathematics and Artificial Intelligence	1999-02-02	Paper
A cost effective question-asking strategy for Horn clause systems Annals of Mathematics and Artificial Intelligence	1998-03-04	Paper
scientific article; zbMATH DE number 1113999 (Why is no real title available?)	1998-02-08	Paper
Solving propositional satisfiability problems Annals of Mathematics and Artificial Intelligence	1997-06-04	Paper
The problem of asking the minimum number of questions in Horn clause systems Mathematical and Computer Modelling	1995-09-18	Paper
Inference flexibility in Horn clause knowledge bases and the simplex method Journal of Automated Reasoning	1994-04-12	Paper
Gainfree Leontief substitution flow problems Mathematical Programming. Series A. Series B	1993-06-29	Paper
Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base ORSA Journal on Computing	1993-01-16	Paper

Research outcomes over time

This page was built for person: Jinchang Wang