Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

  • Didier Galmiche
  • Stephan Schulz
  • Roberto Sebastiani
Conference proceedings IJCAR 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
    Pages 1-18
  3. Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann
    Pages 28-46
  4. Miika Hannula, Sebastian Link
    Pages 47-63
  5. Michael Peter Lettmann, Nicolas Peltier
    Pages 64-80
  6. Franziska Rapp, Aart Middeldorp
    Pages 81-88
  7. Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann
    Pages 89-107
  8. Alexander Steen, Christoph Benzmüller
    Pages 108-116
  9. Jeremy Dawson, Nachum Dershowitz, Rajeev Goré
    Pages 117-133
  10. Katalin Fazekas, Fahiem Bacchus, Armin Biere
    Pages 134-151
  11. Sylvain Conchon, David Declerck, Fatiha Zaïdi
    Pages 152-160
  12. Guillaume Melquiond, Raphaël Rieu-Helft
    Pages 178-193
  13. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov
    Pages 228-245
  14. Aleksandar Zeljić, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
    Pages 246-262
  15. Manuel Bodirsky, Johannes Greiner
    Pages 263-278
  16. Mnacho Echenim, Nicolas Peltier, Yanis Sellami
    Pages 279-294
  17. Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
    Pages 312-328
  18. Nao Hirokawa, Julian Nagele, Aart Middeldorp
    Pages 346-353
  19. Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
    Pages 354-369
  20. Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard
    Pages 370-387
  21. Koen Claessen, Nicholas Smallbone
    Pages 388-404
  22. Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov
    Pages 405-421
  23. Dominique Larchey-Wendling
    Pages 422-438
  24. Jens Katelaan, Dejan Jovanović, Georg Weissenbacher
    Pages 455-471
  25. Sarah Winkler, Georg Moser
    Pages 472-480
  26. Matteo Acclavio, Lutz Straßburger
    Pages 481-497
  27. Cláudia Nalon, Dirk Pattinson
    Pages 498-515
  28. Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule
    Pages 516-531
  29. Bohua Zhan, Maximilian P. L. Haslbeck
    Pages 532-548
  30. Jochen Hoenicke, Tanja Schindler
    Pages 549-565
  31. Bartosz Piotrowski, Josef Urban
    Pages 566-574
  32. Dennis Müller, Florian Rabe, Michael Kohlhase
    Pages 575-590
  33. Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli, Clark Barrett
    Pages 591-608
  34. Yevgeny Kazakov, Peter Skočovský
    Pages 609-626
  35. Alexey Ignatiev, Filipe Pereira, Nina Narodytska, Joao Marques-Silva
    Pages 627-645
  36. Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish
    Pages 646-662
  37. Julio Cesar Lopez Hernandez, Konstantin Korovin
    Pages 663-679
  38. Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
    Pages 680-688
  39. Back Matter
    Pages 723-724

About these proceedings


This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic Conference.
The 38 revised full research papers and 8 system descriptions presented together with two invited talks were carefully reviewed and selected from 108 submissions. The papers focus on topics such as logics, deductive systems, proof-search methods, theorem proving, model checking, verification, formal methods, and program analysis.


artificial intelligence computability constraint theory decidability decision procedure first order logic formal logic modal logic model checking problem solving programing languages programming languages proof search methods satisfiability semantics software engineering software evaluation theorem provers theorem proving verification

Editors and affiliations

  • Didier Galmiche
    • 1
  • Stephan Schulz
    • 2
  • Roberto Sebastiani
    • 3
  1. 1.Université de LorraineVandoeuvre-lès-NancyFrance
  2. 2.Baden-Wuerttemberg Cooperative State UniversityStuttgartGermany
  3. 3.University of TrentoTrentoItaly

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-94204-9
  • Online ISBN 978-3-319-94205-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site