| 2018 | A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. Radu Iosif, Cristina Serban |
| 2018 | A Theory of Satisfiability-Preserving Proofs in SAT Solving. Adrián Rebola-Pardo, Martin Suda |
| 2018 | A Verified Efficient Implementation of the LLL Basis Reduction Algorithm. Ralph Bottesch, Max W. Haslbeck, René Thiemann |
| 2018 | A Verified Theorem Prover Backend Supported by a Monotonic Library. Vincent Rahli, Liron Cohen, Mark Bickford |
| 2018 | Alternating Reachability Games with Behavioral and Revenue Objectives. Orna Kupferman, Tami Tamir |
| 2018 | Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre |
| 2018 | Automatic Space Bound Analysis for Functional Programs with Garbage Collection. Yue Niu, Jan Hoffmann |
| 2018 | Decidable Inequalities over Infinite Trees. Sabine Bauer, Steffen Jost, Martin Hofmann |
| 2018 | Efficient SAT-Based Encodings of Conditional Cardinality Constraints. Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2018 | Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. Jaroslav Bendík, Ivana Cerna |
| 2018 | Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion |
| 2018 | Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer |
| 2018 | Function Summarization Modulo Theories. Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler |
| 2018 | Graph Path Orderings. Nachum Dershowitz, Jean-Pierre Jouannaud |
| 2018 | Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. Chuan Jiang, Gianfranco Ciardo |
| 2018 | Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper). Martin Jonás, Jan Strejcek |
| 2018 | Knowledge Compilation meets Uniform Sampling. Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel |
| 2018 | LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 Gilles Barthe, Geoff Sutcliffe, Margus Veanes |
| 2018 | LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems. Rachel Faran, Orna Kupferman |
| 2018 | Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. Anupam Das, Amina Doumane, Damien Pous |
| 2018 | Lookahead-Based SMT Solving. Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina |
| 2018 | Loop Analysis by Quantification over Iterations. Bernhard Gleiss, Laura Kovács, Simon Robillard |
| 2018 | Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. Matthias Baaz, Anela Lolic |
| 2018 | Matching in the Description Logic FL0 with respect to General TBoxes. Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis |
| 2018 | Parse Condition: Symbolic Encoding of LL(1) Parsing. Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy |
| 2018 | Playing with the Maximum-Flow Problem. Orna Kupferman |
| 2018 | Polymorphic success types for Erlang. Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García |
| 2018 | Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil |
| 2018 | Reasoning About Prescription and Description Using Prioritized Default Rules. Valentin Cassano, Carlos Areces, Pablo F. Castro |
| 2018 | Rewriting Environment for Arithmetic Circuit Verification. Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski |
| 2018 | SMTS: Distributed, Visualized Constraint Solving. Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina |
| 2018 | The Triguarded Fragment of First-Order Logic. Sebastian Rudolph, Mantas Simkus |
| 2018 | The Weak Completion Semantics and Equality. Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus |
| 2018 | The involutions-as-principal types/application-as-unification Analogy. Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
| 2018 | Towards Smarter MACE-style Model Finders. Mikolas Janota, Martin Suda |
| 2018 | Two-variable First-Order Logic with Counting in Forests. Witold Charatonik, Yegor Guskov, Ian Pratt-Hartmann, Piotr Witkowski |
| 2018 | Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl |
| 2018 | Wayeb: a Tool for Complex Event Forecasting. Elias Alevizos, Alexander Artikis, Georgios Paliouras |
| 2018 | When Are Two Gossips the Same? Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek |
| 2018 | Why These Automata Types? Udi Boker |