Automated Deduction – CADE-24

24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

  • Maria Paola Bonacina
Conference proceedings CADE 2013

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 7898)

Table of contents

  1. Front Matter
  2. Jean-Christophe Filliâtre
    Pages 1-20
  3. Radu Iosif, Adam Rogalewicz, Jiri Simacek
    Pages 21-38
  4. Peter Baumgartner, Uwe Waldmann
    Pages 39-57
  5. Abdelkader Kersani, Nicolas Peltier
    Pages 58-75
  6. Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri
    Pages 91-108
  7. Noran Azmy, Christoph Weidenbach
    Pages 109-125
  8. Markus Bender, Björn Pelzer, Claudia Schon
    Pages 126-134
  9. Bernhard Beckert, Rajeev Goré, Carsten Schürmann
    Pages 135-144
  10. Natarajan Shankar
    Pages 145-161
  11. Zakaria Chihani, Dale Miller, Fabien Renaud
    Pages 162-177
  12. Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
    Pages 193-207
  13. Sicun Gao, Soonho Kong, Edmund M. Clarke
    Pages 208-214
  14. Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte
    Pages 215-230
  15. Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher A. Lynch, Catherine Meadows et al.
    Pages 231-248
  16. Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
    Pages 249-266
  17. Cezary Kaliszyk, Josef Urban
    Pages 267-274
  18. Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo
    Pages 282-299
  19. Reiner Hähnle, Ina Schaefer, Richard Bubel
    Pages 300-314
  20. Bernhard Beckert, Daniel Bruns
    Pages 315-329
  21. Franz Baader, Stefan Borgwardt, Marcel Lippmann
    Pages 330-344
  22. Marijn J. H. Heule, Warren A. Hunt Jr., Nathan Wetzler
    Pages 345-359
  23. Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstić, Morgan Deters, Clark Barrett
    Pages 377-391
  24. Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
    Pages 392-406
  25. Daniel Kühlwein, Stephan Schulz, Josef Urban
    Pages 407-413
  26. Jasmin Christian Blanchette, Andrei Paskevich
    Pages 414-420
  27. Richard Williams, Boris Konev
    Pages 421-435
  28. Mark Kaminski, Tobias Tebbi
    Pages 436-442
  29. Gergely Kovásznai, Andreas Fröhlich, Armin Biere
    Pages 443-449
  30. Kryštof Hoder, Andrei Voronkov
    Pages 450-464
  31. Back Matter

About these proceedings


This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers, solvers and systems.


AI logics difference constraints finite models hybrid logic model checking software verification

Editors and affiliations

  • Maria Paola Bonacina
    • 1
  1. 1.Dipartimento di InformaticaUniversità degli Studi di VeronaVeronaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-38573-5
  • Online ISBN 978-3-642-38574-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences