LPAR

Keyphrases

Publications

2024

Joseph Tafese, Arie Gurfinkel
Efficient Simulation for Hardware Model Checking. LPAR (2024)
Naïm Moussaoui Remil, Caterina Urban, Antoine Miné
Automatic Detection of Vulnerable Variables for CTL Properties of Programs. LPAR (2024)
Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob
Fuzzy Datalog∃ over Arbitrary t-Norms. LPAR (2024)
Luís Cruz-Filipe, Peter Schneider-Kamp
Minimizing Sorting Networks at the Sub-Comparator Level. LPAR (2024)
Kristina Aleksandrova, Jan Jakubuv, Cezary Kaliszyk
Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery. LPAR (2024)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
Symbolic Realisation of Epistemic Processes. LPAR (2024)
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. LPAR (2024)
Ozan Kahramanogullari
Deep Inference in Proof Search: The Need for Shallow Inference. LPAR (2024)
Christian G. Fermüller, Robert Freiman, Timo Lang
A Simple Token Game and its Logic. LPAR (2024)
Bernardo Subercaseaux
Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition. LPAR (2024)
Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair
Confluence for Proof-Nets via Parallel Cut Elimination. LPAR (2024)
Tanel Tammet
Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper). LPAR (2024)
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. LPAR (2024)
Aaron Hunter, Alberto Iglesias
A Tool for Reasoning about Trust and Belief. LPAR (2024)
Pablo Barenbaum, Delia Kesner, Mariana Milicich
Hybrid Intersection Types for PCF. LPAR (2024)
Lachlan McGinness, Peter Baumgartner
Automated Theorem Provers Help Improve Large Language Model Reasoning. LPAR (2024)
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
Automatic Bit- and Memory-Precise Verification of eBPF Code. LPAR (2024)
Mudathir Mohamed, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett
Verifying SQL queries using theories of tables and relations. LPAR (2024)
Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv
First Experiments with Neural cvc5. LPAR (2024)
Guilherme Vicentin de Toledo, Yoni Zohar
Combining Combination Properties: Minimal Models. LPAR (2024)
Pamina Georgiou, Márton Hajdú, Laura Kovács
Saturating Sorting without Sorts. LPAR (2024)
Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant
A Generic Deskolemization Strategy. LPAR (2024)
Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere
Certifying Incremental SAT Solving. LPAR (2024)
Matthias Baaz, Anela Lolic
On Translations of Epsilon Proofs to LK. LPAR (2024)
Daniel Ranalter, Chad E. Brown, Cezary Kaliszyk
Experiments with Choice in Dependently-Typed Higher-Order Logic. LPAR (2024)
Mark Chimes, Radu Iosif, Florian Zuleger
Tree-Verifiable Graph Grammars. LPAR (2024)
Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson
Scaling CheckMate for Game-Theoretic Security. LPAR (2024)
Frédéric Blanqui
Translating HOL-Light proofs to Coq. LPAR (2024)
Johannes Schoisswohl, Laura Kovács, Konstantin Korovin
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic. LPAR (2024)
Márton Hajdú, Laura Kovács, Michael Rawson
Rewriting and Inductive Reasoning. LPAR (2024)
Alexander Leitsch, Anela Lolic
Herbrand's Theorem in Inductive Proofs. LPAR (2024)

volume 100, 2024

LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024 LPAR 100 (2024)

2023

volume 94, 2023

LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. LPAR 94 (2023)