2 options
Automated reasoning 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026 proceedings Part I Armin Biere, Carsten Lutz, Sara Negri, editors
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- IJCAR (Conference) (13th : 2026 : Lisbon, Portugal)
- Series:
- Lecture notes in computer science ; 16688.
- Lecture notes in computer science. Lecture notes in artificial intelligence
- Lecture notes in computer science 1611-3349 16688
- Lecture notes in artificial intelligence
- Language:
- English
- Subjects (All):
- Automatic theorem proving.
- Computer logic.
- Genre:
- proceedings (reports)
- Conference papers and proceedings
- Conference papers and proceedings.
- Physical Description:
- 1 online resource
- Place of Publication:
- Cham, Switzerland Springer [2026]
- Contents:
- Tao’s equational proof challenge accepted / Lydia Kondylidou, Jasmin Blanchette, and Marijn J. H. Heule
- Completeness of synthesis under realizability assumptions using superposition / Márton Hajdu, Petra Hozzová, Laura Kovács, and Eva Maria Wagner
- Generating theorems by generating proof structures / Christoph Wernhard
- Twitch : Learning abstractions for equational theorem proving / Guy Axelrod, Moa Johansson, and Nicholas Smallbone
- Towards fast automatic verification of textbook proof steps / Adam Dingle
- Pgeon : Generating tableau-based provers from declarative specifications of logical calculi / Romain Sidhoum, Simon Robillard, and David Delahaye
- grind : An SMT-inspired tactic for Lean 4 (short paper – system description) / Kim Morrison and Leonardo de Moura
- Formally verified graph generation with SAT modulo symmetries and Lean / Markus Kirchweger, Pablo Manrique, and Stefan Szeider
- Accelerating loops with arrays / Florian Frohn and Jürgen Giesl
- A general approach for SMT proof skeletons / Joseph E. Reeves, Haniel Barbosa, Andrew Reynolds, and Marijn J. H. Heule
- Avoiding big integers : Parallel multimodular algebraic verification of arithmetic circuits / Clemens Hofstadler, Daniela Kaufmann, and Chen Chen
- Bringing closure to theory combination properties / Guilherme V. Toledo, Benjamin Przybocki, and Yoni Zohar
- Automatically translating proof systems for SMT solvers to the λ-calculus / Ciarán Dunne and Guillaume Burel
- On constructing most general solutions for parametric constraints / Viorica Sofronie-Stokkermans
- Program synthesis for non-linear real arithmetic : Going beyond realizability / S. Akshay, Supratik Chakraborty, R. Govind, and Aniruddha R. Joshi
- Checking regular expressions in Cvc5 proofs / Ofec Israel, Yoni Zohar, Andrew Reynolds, S. Hitarth, Bruno Dutertre, Clark Barrett, and Cesare Tinelli
- Hardware model checking certification with Certifaiger and Cerbtora / Nils Froleyks and Emily Yu
- Beyond eager encodings : A theory-agnostic approach to theory-lemma enumeration in SMT / Emanuele Civini, Gabriele Masina, Giuseppe Spallitta, and Roberto Sebastiani
- Ethos : A fast proof checker for the Eunoia logical framework / Andrew Reynolds, Hans-Jörg Schurr, Mallku Soldevila, Haniel Barbosa, Clark Barrett, and Cesare Tinelli
- Finite model finding in first-order modal logics / Happy Khairunnisa Sariyanto, Alexander Steen, and Geoff Sutcliffe
- Pitts and intuitionistic multi-succedent : Uniform interpolation for KM / Hugo Férée and Ian Shillito
- Uniform interpolation with constructive diamond / Iris van der Giessen and Ian Shillito
- A complete proof system for HyperLTL / Naijun Zhan, Wen Tang, and Dimitar Guelev
- Learning computation tree logic with neural networks / Benjamin Bordais, Daniel Neider, and Mustafa Yalçıner
- Growing HOLMS : A verified automated prover for Grzegorczyk logic in HOL Light / Antonella Bilotta, Marco Maggesi, and Cosimo Perini Brogi
- Automatic abstraction refinement for hyperproperties verification / Malak Marrid, Shachar Itzhaky, Sharon Shoham, and Yakir Vizel
- SMT-based deontic reasoning for Åqvist logics / Christian Köll, Agata Ciabattoni, and Dmitry Rozplokhas
- Notes:
- Includes bibliographical references and index
- Online resource; title from PDF title page (Springer Nature Link, viewed July 28, 2026)
- Other Format:
- Print version IJCAR (Conference) (13th : 2026 : Lisbon, Portugal) Automated reasoning
- ISBN:
- 9783032325891
- 3032325897
- OCLC:
- 1608486864
- Access Restriction:
- Some versions Open access versions available from some providers open access
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.