Volume
@proceedings{LPAR2024,
title = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{LPAR2024:Translating_HOL_Light_proofs_to,
author = {Fr\textbackslash{}'ed\textbackslash{}'eric Blanqui},
title = {Translating HOL-Light proofs to Coq},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {1--18},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/mtFT},
doi = {10.29007/6k4x}}
@inproceedings{LPAR2024:Combining_Combination_Properties_Minimal,
author = {Guilherme V. Toledo and Yoni Zohar},
title = {Combining Combination Properties: Minimal Models},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {19--35},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/9KKC},
doi = {10.29007/6qkh}}
@inproceedings{LPAR2024:Minimizing_Sorting_Networks_at,
author = {Lu\textbackslash{}'is Cruz-Filipe and Peter Schneider-Kamp},
title = {Minimizing Sorting Networks at the Sub-Comparator Level},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {36--50},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/v6QM6},
doi = {10.29007/lzks}}
@inproceedings{LPAR2024:Automated_Theorem_Provers_Help,
author = {Lachlan McGinness and Peter Baumgartner},
title = {Automated Theorem Provers Help Improve Large Language Model Reasoning},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {51--69},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/vzpW},
doi = {10.29007/2n9m}}
@inproceedings{LPAR2024:Reasoning_About_Group_Polarization,
author = {Robert Freiman and Carlos Olarte and Elaine Pimentel and Christian Ferm\textbackslash{}"uller},
title = {Reasoning About Group Polarization: From Semantic Games to Sequent Systems},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {70--87},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6GMq},
doi = {10.29007/wptz}}
@inproceedings{LPAR2024:Saturating_Sorting_without_Sorts,
author = {Pamina Georgiou and Marton Hajdu and Laura Kov\textbackslash{}'acs},
title = {Saturating Sorting without Sorts},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {88--105},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qbDc},
doi = {10.29007/rg9z}}
@inproceedings{LPAR2024:Waste_Reduction_Experiments_in,
author = {Tanel Tammet},
title = {Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper)},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {106--115},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wbJ2},
doi = {10.29007/fs4b}}
@inproceedings{LPAR2024:Automatic_Detection_of_Vulnerable,
author = {Na\textbackslash{}"im Moussaoui Remil and Caterina Urban and Antoine Min\textbackslash{}'e},
title = {Automatic Detection of Vulnerable Variables for CTL Properties of Programs},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {116--126},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/n5Rq},
doi = {10.29007/dnpx}}
@inproceedings{LPAR2024:Tool_for_Reasoning_about,
author = {Aaron Hunter and Alberto Iglesias},
title = {A Tool for Reasoning about Trust and Belief},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {127--135},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/4J8s},
doi = {10.29007/c1jg}}
@inproceedings{LPAR2024:Efficient_Simulation_for_Hardware,
author = {Joseph Tafese and Arie Gurfinkel},
title = {Efficient Simulation for Hardware Model Checking},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {136--146},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/FDRF},
doi = {10.29007/rdbb}}
@inproceedings{LPAR2024:VIRAS_Conflict_Driven_Quantifier_Elimination,
author = {Johannes Schoisswohl and Laura Kov\textbackslash{}'acs and Konstantin Korovin},
title = {VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {147--164},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/r6XtS},
doi = {10.29007/kg4v}}
@inproceedings{LPAR2024:Tree_Verifiable_Graph_Grammars,
author = {Mark Chimes and Radu Iosif and Florian Zuleger},
title = {Tree-Verifiable Graph Grammars},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {165--180},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8LGS},
doi = {10.29007/8l13}}
@inproceedings{LPAR2024:Hybrid_Intersection_Types_for,
author = {Pablo Barenbaum and Delia Kesner and Mariana Milicich},
title = {Hybrid Intersection Types for PCF},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {181--197},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ZpFc},
doi = {10.29007/gvzx}}
@inproceedings{LPAR2024:Automatic_Bit_and_Memory_Precise,
author = {Martin Bromberger and Simon Schwarz and Christoph Weidenbach},
title = {Automatic Bit- and Memory-Precise Verification of eBPF Code},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {198--221},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/bnnf},
doi = {10.29007/sj4l}}
@inproceedings{LPAR2024:Scaling_CheckMate_for_Game_Theoretic,
author = {Sophie Rain and Lea Salome Brugger and Anja Petkovi\textbackslash{}'c Komel and Laura Kov\textbackslash{}'acs and Michael Rawson},
title = {Scaling CheckMate for Game-Theoretic Security},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {222--231},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6ZDH},
doi = {10.29007/llnq}}
@inproceedings{LPAR2024:On_Translations_of_Epsilon,
author = {Matthias Baaz and Anela Lolic},
title = {On Translations of Epsilon Proofs to LK},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {232--245},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qhXDJ},
doi = {10.29007/9pts}}
@inproceedings{LPAR2024:Generic_Deskolemization_Strategy,
author = {Johann Rosain and Richard Bonichon and Julie Cailler and Olivier Hermant},
title = {A Generic Deskolemization Strategy},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {246--263},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/VgpS},
doi = {10.29007/g1tm}}
@inproceedings{LPAR2024:First_Experiments_with_Neural,
author = {Jelle Piepenbrock and Mikolas Janota and Josef Urban and Jan Jakub\textbackslash{}r\{u\}v},
title = {First Experiments with Neural cvc5},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {264--277},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Z6b2},
doi = {10.29007/h5dr}}
@inproceedings{LPAR2024:Rewriting_and_Inductive_Reasoning,
author = {Marton Hajdu and Laura Kov\textbackslash{}'acs and Michael Rawson},
title = {Rewriting and Inductive Reasoning},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {278--294},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/T1mjX},
doi = {10.29007/vbfp}}
@inproceedings{LPAR2024:Herbrands_Theorem_in_Inductive,
author = {Alexander Leitsch and Anela Lolic},
title = {Herbrand's Theorem in Inductive Proofs},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {295--310},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/nt9G},
doi = {10.29007/dwdf}}
@inproceedings{LPAR2024:Experiments_with_Choice_in,
author = {Daniel Ranalter and Chad Brown and Cezary Kaliszyk},
title = {Experiments with Choice in Dependently-Typed Higher-Order Logic},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {311--320},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/lRJ1},
doi = {10.29007/2v8h}}
@inproceedings{LPAR2024:Certifying_Incremental_SAT_Solving,
author = {Katalin Fazekas and Florian Pollitt and Mathias Fleury and Armin Biere},
title = {Certifying Incremental SAT Solving},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {321--340},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TbPs},
doi = {10.29007/pdcc}}
@inproceedings{LPAR2024:Simple_Token_Game_and,
author = {Christian Ferm\textbackslash{}"uller and Robert Freiman and Timo Lang},
title = {A Simple Token Game and its Logic},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {341--359},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zqsJ},
doi = {10.29007/6wtm}}
@inproceedings{LPAR2024:Prover9_Unleashed_Automated_Configuration,
author = {Kristina Aleksandrova and Jan Jakubuv and Cezary Kaliszyk},
title = {Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {360--369},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/tGgl},
doi = {10.29007/sd6t}}
@inproceedings{LPAR2024:Deep_Inference_in_Proof,
author = {Ozan Kahramanogullari},
title = {Deep Inference in Proof Search: The Need for Shallow Inference},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {370--389},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/MgHR},
doi = {10.29007/9t2w}}
@inproceedings{LPAR2024:Symbolic_Realisation_of_Epistemic,
author = {Rolf Hennicker and Alexander Knapp and Martin Wirsing},
title = {Symbolic Realisation of Epistemic Processes},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {390--407},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/82dt},
doi = {10.29007/h8h3}}
@inproceedings{LPAR2024:Sometimes_Hoarding_is_Harder,
author = {Bernardo Subercaseaux},
title = {Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {408--425},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ZtQzZ},
doi = {10.29007/p5mc}}
@inproceedings{LPAR2024:Fuzzy_Datalog_over_Arbitrary,
author = {Matthias Lanzinger and Stefano Sferrazza and Przemys\{\textbackslash{}l\}aw Andrzej Wa\{\textbackslash{}l\}\textbackslash{}k\{e\}ga and Georg Gottlob},
title = {Fuzzy Datalog∃ over Arbitrary t-Norms},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {426--444},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/VQVR},
doi = {10.29007/cngw}}
@inproceedings{LPAR2024:Verifying_SQL_queries_using,
author = {Mudathir Mahgoub Yahia Mohamed and Andrew Reynolds and Cesare Tinelli and Clark Barrett},
title = {Verifying SQL queries using theories of tables and relations},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {445--463},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/MWDj},
doi = {10.29007/rlt7}}
@inproceedings{LPAR2024:Confluence_for_Proof_Nets_via,
author = {Giulio Guerrieri and Giulia Manara and Lorenzo Tortora de Falco and Lionel Vaux Auclair},
title = {Confluence for Proof-Nets via Parallel Cut Elimination},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {464--483},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/kGr4},
doi = {10.29007/vkfn}}
@inproceedings{LPAR2024:Automated_Synthesis_of_Decision,
author = {S. Akshay and Supratik Chakraborty and Amir Kafshdar Goharshady and R Govind and Harshit Jitendra Motwani and Sai Teja Varanasi},
title = {Automated Synthesis of Decision Lists for Polynomial Specifications over Integers},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
pages = {484--502},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/1Wkl},
doi = {10.29007/njph}}