1. Preface

   • Harvey J. Greenberg

   EditorialNotes Pages: i - i

2. Automatic construction of accurate models of physical systems

   • Elizabeth Bradley
   • Reinhard Stolle

   OriginalPaper Pages: 1 - 28

3. Detecting stable matrices

   • George M. Lady

   OriginalPaper Pages: 29 - 36

4. Consistency, redundancy, and implied equalities in linear systems

   • Harvey J. Greenberg

   OriginalPaper Pages: 37 - 83

5. Redundancy elimination with a lexicographic solved form

   • J-L. Imbert
   • P. Van Hentenryck

   OriginalPaper Pages: 85 - 106

6. Finding the minimum weight IIS cover of an infeasible system of linear inequalities

   • Mark Parker
   • Jennifer Ryan

   OriginalPaper Pages: 107 - 126

7. An effective polynomial-time heuristic for the minimum-cardinality IIS set-covering problem

   • John W. Chinneck

   OriginalPaper Pages: 127 - 144

8. Feasibility in capacitated networks: The effect of individual arcs and nodes

   • Saied Ghannadan
   • Stein W. Wallace

   OriginalPaper Pages: 145 - 153

9. Reasoning on infeasibility in distributed collaborative computing environment

   • Alexander B. Bordetsky

   OriginalPaper Pages: 155 - 176