↓ Skip to main content

Progress in Artificial Intelligence

Overview of attention for book
Cover of 'Progress in Artificial Intelligence'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Combinatorial Optimization in OPL Studio
  3. Altmetric Badge
    Chapter 2 Challenges for Inductive Logic Programming
  4. Altmetric Badge
    Chapter 3 Holonic Multiagent Systems — Theory and Applications —
  5. Altmetric Badge
    Chapter 4 On the Accuracy and Running Time of GSAT
  6. Altmetric Badge
    Chapter 5 The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
  7. Altmetric Badge
    Chapter 6 A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations
  8. Altmetric Badge
    Chapter 7 Is $$ \mathcal{P}\mathcal{L}_2 $$ a Tractable Language?
  9. Altmetric Badge
    Chapter 8 Inclusion of Picture Sequences in Generated Documents
  10. Altmetric Badge
    Chapter 9 Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units
  11. Altmetric Badge
    Chapter 10 On the Formal Distinction between Literal and Figurative Language
  12. Altmetric Badge
    Chapter 11 Qualitative Theory of Shape and Structure
  13. Altmetric Badge
    Chapter 12 A New Formulation of Tabled Resolution with Delay
  14. Altmetric Badge
    Chapter 13 YapOr: An Or-Parallel Prolog System Based on Environment Copying
  15. Altmetric Badge
    Chapter 14 Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic
  16. Altmetric Badge
    Chapter 15 Critical Agents Supporting Interactive Theorem Proving
  17. Altmetric Badge
    Chapter 16 A Practical Approach to Fusing Prioritized Knowledge Bases
  18. Altmetric Badge
    Chapter 17 Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles
  19. Altmetric Badge
    Chapter 18 A Multi-agent System for Electronic Commerce Including Adaptive Strategic Behaviours
  20. Altmetric Badge
    Chapter 19 Choice and Institutions in Agent Societies
  21. Altmetric Badge
    Chapter 20 Analytic Modal Revision for Multi-agent Systems
  22. Altmetric Badge
    Chapter 21 Decisions Based upon Multiple Values: The BVG Agent Architecture
  23. Altmetric Badge
    Chapter 22 Temporal Abductive Diagnosis
  24. Altmetric Badge
    Chapter 23 A New Approach to Base Revision
  25. Altmetric Badge
    Chapter 24 Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming
  26. Altmetric Badge
    Chapter 25 Genetic Algorithms for Solving Open Shop Scheduling Problems
  27. Altmetric Badge
    Chapter 26 Expressing Population Based Optimization Heuristics Using PLATO
Attention for Chapter 5: The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
Altmetric Badge

Mentioned by

wikipedia
5 Wikipedia pages

Readers on

mendeley
43 Mendeley
citeulike
1 CiteULike
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
Chapter number 5
Book title
Progress in Artificial Intelligence
Published in
Lecture notes in computer science, September 1999
DOI 10.1007/3-540-48159-1_5
Book ISBNs
978-3-54-066548-9, 978-3-54-048159-1
Authors

João Marques-Silva

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 43 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Japan 2 5%
Pakistan 1 2%
Argentina 1 2%
Unknown 39 91%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 10 23%
Student > Master 10 23%
Student > Bachelor 6 14%
Researcher 4 9%
Lecturer 3 7%
Other 6 14%
Unknown 4 9%
Readers by discipline Count As %
Computer Science 31 72%
Engineering 4 9%
Mathematics 1 2%
Chemistry 1 2%
Biochemistry, Genetics and Molecular Biology 1 2%
Other 0 0%
Unknown 5 12%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 26 May 2023.
All research outputs
#7,453,350
of 22,786,087 outputs
Outputs from Lecture notes in computer science
#2,486
of 8,125 outputs
Outputs of similar age
#11,031
of 34,941 outputs
Outputs of similar age from Lecture notes in computer science
#6
of 17 outputs
Altmetric has tracked 22,786,087 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,125 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 55% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 34,941 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 9th percentile – i.e., 9% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 17 others from the same source and published within six weeks on either side of this one. This one is in the 11th percentile – i.e., 11% of its contemporaries scored the same or lower than it.