✦ LIBER ✦

Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

✍ Scribed by Georg Gottlob; Reinhard Pichler

Book ID: 112252535
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 199 KB
Volume: 165
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2000.2915

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Speeding up Algorithms on Atomic Represe

Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria

✍ Reinhard Pichler 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 549 KB

The importance of models within automated deduction is generally acknowledged both in constructing countermodels (rather than just giving the answer "NO", if a given formula is found to be not a theorem) and in speeding up the deduction process itself (e.g. by semantic resolution refinement). Howev

Influence of direct sulfate-aerosol radi

Influence of direct sulfate-aerosol radiative forcing on the results of numerical experiments with a climate model of intermediate complexity

✍ A. V. Eliseev; I. I. Mokhov; A. A. Karpenko 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 605 KB

Atom Transfer Radical Polymerizations of

Atom Transfer Radical Polymerizations of Complexes Based on Ti and Zr Alkoxides Modified with β-Keto Ester Ligands and Transformation of the Resulting Polymers in Nanocomposites

✍ Ivanovici, Sorin; Peterlik, Herwig; Feldgitscher, Claudia; Puchberger, Michael; 📂 Article 📅 2008 🏛 American Chemical Society 🌐 English ⚖ 333 KB