default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 17
Volume 17, Numbers 1-2, 1996
- Elizabeth Bradley, Reinhard Stolle:
Automatic Construction of Accurate Models of Physical Systems. 1-28 - George M. Lady:
Detecting Stable Matrices. 29-36 - Harvey J. Greenberg:
Consistency, Redundancy, and Implied Equalities in Linear Systems. 37-83 - Jean-Louis Imbert, Pascal Van Hentenryck:
Redundancy Elimination with a Lexicographic Solved Form. 85-106 - Mark Parker, Jennifer Ryan:
Finding the Minimum Weight IIS Cover of an Infeasible System of Linear Inequalities. 107-126 - John W. Chinneck:
An Effective Polynomial-Time Heuristic for the Minimum-Cardinality IIS Set-Covering Problem. 127-144 - Saied Ghannadan, Stein W. Wallace:
Feasibility in Capacitated Networks: The Effect of Individual Arcs and Nodes. 145-153 - Alexander B. Bordetsky:
Reasoning on Infeasibility in Distributed Collaborative Computing Environment. 155-176
Volume 17, Numbers 3-4, 1996
- Ganesh Baliga
, Anil M. Shende:
Learning-Theoretic Perspectives of Acceptable Numberings. 177-187 - Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes:
Intelligent Backtracking in CLP(R). 189-211 - Pawel Cholewinski:
Seminormal Stratified Default Theories. 213-234 - Fausto Giunchiglia, Paolo Traverso:
Program Tactics and Logic Tactics. 235-259 - Luigi Palopoli, Carlo Zaniolo:
Polynomial-Time Computable Stable Models. 261-290 - John-Jules Ch. Meyer, Wiebe van der Hoek:
A Modal Contrastive Logic: The Logic of 'but'. 291-313 - Ruchir Puri, Jun Gu:
A BDD SAT Solver for Satisfiability Testing: An Industrial Case Study. 315-337 - Daniele Pretolani:
Hierarchies of Polynomially Solvable Satisfiability Problems. 339-357 - Jinchang Wang, Evangelos Triantaphyllou:
A Cost Effective Question-Asking Strategy for Horn Clause Systems. 359-379 - Max Böhm, Ewald Speckenmeyer:
A Fast Parallel SAT-Solver - Efficient Workload Balancing. 381-400
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
