Abstraction, Reformulation, and Approximation

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

  • Editors
  • Ian Miguel
  • Wheeler Ruml
Conference proceedings SARA 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4612)

Table of contents

  1. Front Matter
  2. Invited Talks (Abstracts)

  3. Research Papers

    1. Montserrat Abril, Miguel A. Salido, Federico Barber
      Pages 5-19
    2. Kenneth Anderson, Robert Holte, Jonathan Schaeffer
      Pages 20-34
    3. Scot Anderson, Peter Revesz
      Pages 35-49
    4. Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
      Pages 64-79
    5. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh
      Pages 80-92
    6. Dominique D’Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Saïs
      Pages 93-108
    7. Stijn De Saeger, Atsushi Shimojima
      Pages 124-138
    8. Alexander Feldman, Gregory Provan, Arjan van Gemund
      Pages 139-154
    9. Peter Gregory, Derek Long, Maria Fox
      Pages 200-214
    10. Timothy L. Hinrichs, Michael R. Genesereth
      Pages 215-229

About these proceedings

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73580-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73579-3
  • Online ISBN 978-3-540-73580-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book