Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 1
Volume 1, 1990
A collection of papers in memory of Robert G. Jeroslow
- Howard A. Blair, Allen L. Brown Jr.:
Definite Clause Programs are Canonical (over a suitable domain). 1-19 - Endre Boros, Yves Crama
, Peter L. Hammer:
Polynomial-Time Inference of All Valid Implications for Horn and Related Formulae. 21-32 - Vijay Chandru, Collette R. Coullard, Peter L. Hammer, M. Montanuz, Xiaorong Sun:
On Renamable Horn and Generalized Horn Functions. 33-47 - Ronen Feldman, Martin Charles Golumbic:
Ineractive Scheduling as a Constraint Satisfiability Problem. 49-73 - Harvey J. Greenberg:
Neural Networks and Heuristic Search. 75-95 - Pierre Hansen, Marcus Poggi de Aragão, Celso C. Ribeiro:
Boolean Query Optimization and the 0-1 Hyperbolic Sum Problem. 97-109 - Alain Hertz, Dominique de Werra:
The Tabu Search Metaheuristic: How we used it. 111-121 - John N. Hooker, C. Fedjiki:
Branch-and-Cut Solution of Inference Problems in Propositional Logic. 123-139 - Toshihide Ibaraki, Naoki Katoh:
Searching Minimax Game Trees under Memory Space Constraint. 141-153 - Brigitte Jaumard, P. Marchioro, Aurora Morgana, Rossella Petreschi, Bruno Simeone:
On Line 2-Satisfiability. 155-165 - Robert G. Jeroslow, Jinchang Wang:
Solving Propositional Satisfiability Problems. 167-187 - Dimitris J. Kavvadias, Christos H. Papadimitriou:
A Linear Programming Approach to Reasoning about Probabilities. 189-205 - E. M. Kleinberg:
Stochastic Discrimination. 207-239 - V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems I. 241-273 - V. Wiktor Marek, Miroslaw Truszczynski:
Modal Logic for Default Reasoning. 275-302 - Kim Marriott, Lee Naish, Jean-Louis Lassez:
Most Specific Logic Programs. 303-338 - Arcot Rajasekar, Jack Minker:
On Stratified Disjunctive Programs. 339-357 - Jinchang Wang, John H. Vande Vate:
Question-Asking Strategies for Horn Clause Systems. 359-370
a service of 
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-04-25 05:28 CEST 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:
