External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 17, Issue 3-4

    177 -- 187Ganesh Baliga, Anil M. Shende. Learning-Theoretic Perspectives of Acceptable Numberings
    189 -- 211Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes. Intelligent Backtracking in CLP(R)
    213 -- 234Pawel Cholewinski. Seminormal Stratified Default Theories
    235 -- 259Fausto Giunchiglia, Paolo Traverso. Program Tactics and Logic Tactics
    261 -- 290Luigi Palopoli, Carlo Zaniolo. Polynomial-Time Computable Stable Models
    291 -- 313John-Jules Ch. Meyer, Wiebe van der Hoek. A Modal Contrastive Logic: The Logic of but
    315 -- 337Ruchir Puri, Jun Gu. A BDD SAT Solver for Satisfiability Testing: An Industrial Case Study
    339 -- 357Daniele Pretolani. Hierarchies of Polynomially Solvable Satisfiability Problems
    359 -- 379Jinchang Wang, Evangelos Triantaphyllou. A Cost Effective Question-Asking Strategy for Horn Clause Systems
    381 -- 400Max Böhm, Ewald Speckenmeyer. A Fast Parallel SAT-Solver - Efficient Workload Balancing

    Volume 17, Issue 1-2

    1 -- 28Elizabeth Bradley, Reinhard Stolle. Automatic Construction of Accurate Models of Physical Systems
    29 -- 36George M. Lady. Detecting Stable Matrices
    37 -- 83Harvey J. Greenberg. Consistency, Redundancy, and Implied Equalities in Linear Systems
    85 -- 106Jean-Louis Imbert, Pascal Van Hentenryck. Redundancy Elimination with a Lexicographic Solved Form
    107 -- 126Mark Parker, Jennifer Ryan. Finding the Minimum Weight IIS Cover of an Infeasible System of Linear Inequalities
    127 -- 144John W. Chinneck. An Effective Polynomial-Time Heuristic for the Minimum-Cardinality IIS Set-Covering Problem
    145 -- 153Saied Ghannadan, Stein W. Wallace. Feasibility in Capacitated Networks: The Effect of Individual Arcs and Nodes
    155 -- 176Alexander B. Bordetsky. Reasoning on Infeasibility in Distributed Collaborative Computing Environment
    runs on