↓ Skip to main content

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings

Overview of attention for book
Cover of 'Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Symmetry Breaking for Maximum Satisfiability
  3. Altmetric Badge
    Chapter 2 Efficient Generation of Unsatisfiability Proofs and Cores in SAT
  4. Altmetric Badge
    Chapter 3 Justification-Based Local Search with Adaptive Noise Strategies
  5. Altmetric Badge
    Chapter 4 The Max-Atom Problem and Its Relevance
  6. Altmetric Badge
    Chapter 5 Towards Practical Feasibility of Core Computation in Data Exchange
  7. Altmetric Badge
    Chapter 6 Data-Oblivious Stream Productivity
  8. Altmetric Badge
    Chapter 7 Reasoning about XML with Temporal Logics and Automata
  9. Altmetric Badge
    Chapter 8 Distributed Consistency-Based Diagnosis
  10. Altmetric Badge
    Chapter 9 From One Session to Many: Dynamic Tags for Security Protocols
  11. Altmetric Badge
    Chapter 10 A Conditional Logical Framework
  12. Altmetric Badge
    Chapter 11 Nominal Renaming Sets
  13. Altmetric Badge
    Chapter 12 Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
  14. Altmetric Badge
    Chapter 13 Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
  15. Altmetric Badge
    Chapter 14 On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata
  16. Altmetric Badge
    Chapter 15 Recurrent Reachability Analysis in Regular Model Checking
  17. Altmetric Badge
    Chapter 16 Alternation Elimination by Complementation (Extended Abstract)
  18. Altmetric Badge
    Chapter 17 Discounted Properties of Probabilistic Pushdown Automata
  19. Altmetric Badge
    Chapter 18 A Quantifier Elimination Algorithm for Linear Real Arithmetic
  20. Altmetric Badge
    Chapter 19 (LIA) - Model Evolution with Linear Integer Arithmetic Constraints
  21. Altmetric Badge
    Chapter 20 A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
  22. Altmetric Badge
    Chapter 21 Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking
  23. Altmetric Badge
    Chapter 22 On Bounded Reachability of Programs with Set Comprehensions
  24. Altmetric Badge
    Chapter 23 Program Complexity in Hierarchical Module Checking
  25. Altmetric Badge
    Chapter 24 Valigator : A Verification Tool with Bound and Invariant Generation
  26. Altmetric Badge
    Chapter 25 Reveal: A Formal Verification Tool for Verilog Designs
  27. Altmetric Badge
    Chapter 26 A Formal Language for Cryptographic Pseudocode
  28. Altmetric Badge
    Chapter 27 Logic for Programming, Artificial Intelligence, and Reasoning
  29. Altmetric Badge
    Chapter 28 Role Conjunctions in Expressive Description Logics
  30. Altmetric Badge
    Chapter 29 Default Logics with Preference Order: Principles and Characterisations
  31. Altmetric Badge
    Chapter 30 On Computing Constraint Abduction Answers
  32. Altmetric Badge
    Chapter 31 Fast Counting with Bounded Treewidth
  33. Altmetric Badge
    Chapter 32 Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
  34. Altmetric Badge
    Chapter 33 Focusing Strategies in the Sequent Calculus of Synthetic Connectives
  35. Altmetric Badge
    Chapter 34 An Algorithmic Interpretation of a Deep Inference System
  36. Altmetric Badge
    Chapter 35 Weak βη -Normalization and Normalization by Evaluation for System F
  37. Altmetric Badge
    Chapter 36 Variable Dependencies of Quantified CSPs
  38. Altmetric Badge
    Chapter 37 Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings
  39. Altmetric Badge
    Chapter 38 Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates
  40. Altmetric Badge
    Chapter 39 A Logic of Singly Indexed Arrays
  41. Altmetric Badge
    Chapter 40 Logic for Programming, Artificial Intelligence, and Reasoning
  42. Altmetric Badge
    Chapter 41 Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
  43. Altmetric Badge
    Chapter 42 The Variable Hierarchy for the Lattice μ -Calculus
  44. Altmetric Badge
    Chapter 43 A Formalised Lower Bound on Undirected Graph Reachability
  45. Altmetric Badge
    Chapter 44 Improving Context-Sensitive Dependency Pairs
  46. Altmetric Badge
    Chapter 45 Complexity, Graphs, and the Dependency Pair Method
  47. Altmetric Badge
    Chapter 46 Uncurrying for Termination
  48. Altmetric Badge
    Chapter 47 Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation
  49. Altmetric Badge
    Chapter 48 A Higher-Order Iterative Path Ordering
  50. Altmetric Badge
    Chapter 49 Erratum: Variable Dependencies of Quantified CSPs
Attention for Chapter 37: Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley
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
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings
Chapter number 37
Book title
Logic for Programming, Artificial Intelligence, and Reasoning
Published by
Springer, Berlin, Heidelberg, November 2008
DOI 10.1007/978-3-540-89439-1_37
Book ISBNs
978-3-54-089438-4, 978-3-54-089439-1
Authors

Luca Pulina, Armando Tacchella, Pulina, Luca, Tacchella, Armando

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 100%
Readers by discipline Count As %
Computer Science 1 100%