Volume
@proceedings{LPAR2024,
title = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2024}}
Papers
@inproceedings{LPAR2024:Translating_HOL_Light_proofs,
author = {Frédéric Blanqui},
title = {Translating HOL-Light proofs to Coq},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/mtFT},
doi = {10.29007/6k4x},
pages = {1-18},
year = {2024}}
@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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/9KKC},
doi = {10.29007/6qkh},
pages = {19-35},
year = {2024}}
@inproceedings{LPAR2024:Minimizing_Sorting_Networks_at,
author = {Luís 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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/v6QM6},
doi = {10.29007/lzks},
pages = {36-50},
year = {2024}}
@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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/vzpW},
doi = {10.29007/2n9m},
pages = {51-69},
year = {2024}}
@inproceedings{LPAR2024:Reasoning_About_Group_Polarization,
author = {Robert Freiman and Carlos Olarte and Elaine Pimentel and Christian Fermüller},
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6GMq},
doi = {10.29007/wptz},
pages = {70-87},
year = {2024}}
@inproceedings{LPAR2024:Saturating_Sorting_without_Sorts,
author = {Pamina Georgiou and Marton Hajdu and Laura Kovács},
title = {Saturating Sorting without Sorts},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qbDc},
doi = {10.29007/rg9z},
pages = {88-105},
year = {2024}}
@inproceedings{LPAR2024:Waste_Reduction_Experiments_Sharing,
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wbJ2},
doi = {10.29007/fs4b},
pages = {106-115},
year = {2024}}
@inproceedings{LPAR2024:Automatic_Detection_Vulnerable_Variables,
author = {Naïm Moussaoui Remil and Caterina Urban and Antoine Miné},
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/n5Rq},
doi = {10.29007/dnpx},
pages = {116-126},
year = {2024}}
@inproceedings{LPAR2024:Tool_Reasoning_about_Trust,
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/4J8s},
doi = {10.29007/c1jg},
pages = {127-135},
year = {2024}}
@inproceedings{LPAR2024:Efficient_Simulation_Hardware_Model,
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/FDRF},
doi = {10.29007/rdbb},
pages = {136-146},
year = {2024}}
@inproceedings{LPAR2024:VIRAS_Conflict_Driven_Quantifier,
author = {Johannes Schoisswohl and Laura Kovács 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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/r6XtS},
doi = {10.29007/kg4v},
pages = {147-164},
year = {2024}}
@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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8LGS},
doi = {10.29007/8l13},
pages = {165-180},
year = {2024}}
@inproceedings{LPAR2024:Hybrid_Intersection_Types_PCF,
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ZpFc},
doi = {10.29007/gvzx},
pages = {181-197},
year = {2024}}
@inproceedings{LPAR2024:Automatic_Bit_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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/bnnf},
doi = {10.29007/sj4l},
pages = {198-221},
year = {2024}}
@inproceedings{LPAR2024:Scaling_CheckMate_Game_Theoretic,
author = {Sophie Rain and Lea Salome Brugger and Anja Petković Komel and Laura Kovács 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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6ZDH},
doi = {10.29007/llnq},
pages = {222-231},
year = {2024}}
@inproceedings{LPAR2024:Translations_Epsilon_Proofs_LK,
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qhXDJ},
doi = {10.29007/9pts},
pages = {232-245},
year = {2024}}
@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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/VgpS},
doi = {10.29007/g1tm},
pages = {246-263},
year = {2024}}
@inproceedings{LPAR2024:First_Experiments_with_Neural,
author = {Jelle Piepenbrock and Mikolas Janota and Josef Urban and Jan Jakubův},
title = {First Experiments with Neural cvc5},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Z6b2},
doi = {10.29007/h5dr},
pages = {264-277},
year = {2024}}
@inproceedings{LPAR2024:Rewriting_Inductive_Reasoning,
author = {Marton Hajdu and Laura Kovács and Michael Rawson},
title = {Rewriting and Inductive Reasoning},
booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/T1mjX},
doi = {10.29007/vbfp},
pages = {278-294},
year = {2024}}
@inproceedings{LPAR2024:Herbrands_Theorem_Inductive_Proofs,
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nt9G},
doi = {10.29007/dwdf},
pages = {295-310},
year = {2024}}
@inproceedings{LPAR2024:Experiments_with_Choice_Dependently,
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/lRJ1},
doi = {10.29007/2v8h},
pages = {311-320},
year = {2024}}
@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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TbPs},
doi = {10.29007/pdcc},
pages = {321-340},
year = {2024}}
@inproceedings{LPAR2024:Simple_Token_Game_its,
author = {Christian Fermüller 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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/zqsJ},
doi = {10.29007/6wtm},
pages = {341-359},
year = {2024}}
@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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/tGgl},
doi = {10.29007/sd6t},
pages = {360-369},
year = {2024}}
@inproceedings{LPAR2024:Deep_Inference_Proof_Search,
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/MgHR},
doi = {10.29007/9t2w},
pages = {370-389},
year = {2024}}
@inproceedings{LPAR2024:Symbolic_Realisation_Epistemic_Processes,
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/82dt},
doi = {10.29007/h8h3},
pages = {390-407},
year = {2024}}
@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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ZtQzZ},
doi = {10.29007/p5mc},
pages = {408-425},
year = {2024}}
@inproceedings{LPAR2024:Fuzzy_Datalog∃_over_Arbitrary,
author = {Matthias Lanzinger and Stefano Sferrazza and Przemysław Andrzej Wałę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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/VQVR},
doi = {10.29007/cngw},
pages = {426-444},
year = {2024}}
@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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/MWDj},
doi = {10.29007/rlt7},
pages = {445-463},
year = {2024}}
@inproceedings{LPAR2024:Confluence_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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/kGr4},
doi = {10.29007/vkfn},
pages = {464-483},
year = {2024}}
@inproceedings{LPAR2024:Automated_Synthesis_Decision_Lists,
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ørner and Marijn Heule and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {100},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/1Wkl},
doi = {10.29007/njph},
pages = {484-502},
year = {2024}}
