Skip to main content
  • Conference proceedings
  • © 2007

Abstraction, Reformulation, and Approximation

7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4612)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): SARA: International Symposium on Abstraction, Reformulation, and Approximation

Conference proceedings info: SARA 2007.

Buying options

eBook
USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-73580-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 109.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (42 papers)

  1. Front Matter

  2. Research Papers

    1. DFS-Tree Based Heuristic Search

      • Montserrat Abril, Miguel A. Salido, Federico Barber
      Pages 5-19
    2. Partial Pattern Databases

      • Kenneth Anderson, Robert Holte, Jonathan Schaeffer
      Pages 20-34
    3. CDB-PV: A Constraint Database-Based Program Verifier

      • Scot Anderson, Peter Revesz
      Pages 35-49
    4. Reformulating Constraint Satisfaction Problems to Improve Scalability

      • Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
      Pages 64-79
    5. Reformulating Global Constraints: The Slide and Regular Constraints

      • Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh
      Pages 80-92
    6. Relaxation of Qualitative Constraint Networks

      • Dominique D’Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Saïs
      Pages 93-108
    7. Channeling Abstraction

      • Stijn De Saeger, Atsushi Shimojima
      Pages 124-138
    8. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

      • Alexander Feldman, Gregory Provan, Arjan van Gemund
      Pages 139-154
    9. A Meta-CSP Model for Optimal Planning

      • Peter Gregory, Derek Long, Maria Fox
      Pages 200-214
    10. Reformulation for Extensional Reasoning

      • Timothy L. Hinrichs, Michael R. Genesereth
      Pages 215-229

Other Volumes

  1. Abstraction, Reformulation, and Approximation

    7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings

Keywords

  • Automat
  • automated reasoning
  • learning
  • machine learning
  • modeling
  • problem solving
  • programming
  • proving
  • theorem proving

Bibliographic Information

Buying options

eBook
USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-73580-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 109.99
Price excludes VAT (USA)