LPAR 2023: BibTeX Entries

Volume

@proceedings{LPAR2023,
  title     = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2023}}

Papers

@inproceedings{LPAR2023:Formalization_Algebraic_Theorems_PVS,
  author    = {Mauricio Ayala-Rincón and Thaynara Arielly de Lima and Andréia B. Avelar and André Luiz Galdino},
  title     = {Formalization of Algebraic Theorems in PVS (Invited Talk)},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/93F2},
  doi       = {10.29007/7jbv},
  pages     = {1-10},
  year      = {2023}}


@inproceedings{LPAR2023:Interactive_SMT_Tactic_Coq,
  author    = {Haniel Barbosa and Chantal Keller and Andrew Reynolds and Arjun Viswanathan and Cesare Tinelli and Clark Barrett},
  title     = {An Interactive SMT Tactic in Coq using Abductive Reasoning},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/lNvq},
  doi       = {10.29007/432m},
  pages     = {11-22},
  year      = {2023}}


@inproceedings{LPAR2023:Model_Checking_Omega_Regular,
  author    = {Raven Beutner and Bernd Finkbeiner},
  title     = {Model Checking Omega-Regular Hyperproperties with AutoHyperQ},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/d1VW},
  doi       = {10.29007/1xjt},
  pages     = {23-35},
  year      = {2023}}


@inproceedings{LPAR2023:Refining_Unification_with_Abstraction,
  author    = {Ahmed Bhayat and Konstantin Korovin and Laura Kovacs and Johannes Schoisswohl},
  title     = {Refining Unification with Abstraction},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/mHz7},
  doi       = {10.29007/h65j},
  pages     = {36-47},
  year      = {2023}}


@inproceedings{LPAR2023:Exploring_Partial_Models_with,
  author    = {Martin Bromberger and Simon Schwarz and Christoph Weidenbach},
  title     = {Exploring Partial Models with SCL},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/6jb8},
  doi       = {10.29007/8br1},
  pages     = {48-72},
  year      = {2023}}


@inproceedings{LPAR2023:Trace_based_Deductive_Verification,
  author    = {Richard Bubel and Dilian Gurov and Reiner Hähnle and Marco Scaletta},
  title     = {Trace-based Deductive Verification},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/XJgr},
  doi       = {10.29007/vdfd},
  pages     = {73-95},
  year      = {2023}}


@inproceedings{LPAR2023:How_Much_Should_This,
  author    = {Filip Bártek and Martin Suda},
  title     = {How Much Should This Symbol Weigh? A GNN-Advised Clause Selection},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/2BSs},
  doi       = {10.29007/5f4r},
  pages     = {96-111},
  year      = {2023}}


@inproceedings{LPAR2023:Guiding_Instantiation_Prover_with,
  author    = {Karel Chvalovský and Konstantin Korovin and Jelle Piepenbrock and Josef Urban},
  title     = {Guiding an Instantiation Prover with Graph Neural Networks},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/5z94},
  doi       = {10.29007/tp23},
  pages     = {112-123},
  year      = {2023}}


@inproceedings{LPAR2023:Tighter_Abstract_Queries_Neural,
  author    = {Elazar Cohen and Yizhak Yisrael Elboher and Clark Barrett and Guy Katz},
  title     = {Tighter Abstract Queries in Neural Network Verification},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/q7L6},
  doi       = {10.29007/3mk7},
  pages     = {124-143},
  year      = {2023}}


@inproceedings{LPAR2023:Keep_me_out_loop,
  author    = {Luís Cruz-Filipe and Fabrizio Montesi and Robert R. Rasmussen},
  title     = {Keep me out of the loop: a more flexible choreographic projection},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/mqzR},
  doi       = {10.29007/wbw3},
  pages     = {144-163},
  year      = {2023}}


@inproceedings{LPAR2023:Syntactic_computation_Fagin_Halpern,
  author    = {Omar Ettarguy and Ahlame Begdouri and Salem Benferhat and Carole Delenne},
  title     = {Syntactic computation of Fagin-Halpern conditioning in possibility theory},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/6LgH},
  doi       = {10.29007/9pjn},
  pages     = {164-180},
  year      = {2023}}


@inproceedings{LPAR2023:Counterfactuals_Modulo_Temporal_Logics,
  author    = {Bernd Finkbeiner and Julian Siber},
  title     = {Counterfactuals Modulo Temporal Logics},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/sWZw},
  doi       = {10.29007/qtw7},
  pages     = {181-204},
  year      = {2023}}


@inproceedings{LPAR2023:excursion_border_decidability_between,
  author    = {Oskar Fiuk and Emanuel Kieronski},
  title     = {An excursion to the border of decidability: between two- and three-variable logic},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/KVm2},
  doi       = {10.29007/1xns},
  pages     = {205-223},
  year      = {2023}}


@inproceedings{LPAR2023:Mathematical_Benchmark_Inductive_Theorem,
  author    = {Thibault Gauthier and Chad Brown and Mikoláš Janota and Josef Urban},
  title     = {A Mathematical Benchmark for Inductive Theorem Provers},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3hgH},
  doi       = {10.29007/jr72},
  pages     = {224-237},
  year      = {2023}}


@inproceedings{LPAR2023:SMT_Solving_over_Finite,
  author    = {Thomas Hader and Daniela Kaufmann and Laura Kovacs},
  title     = {SMT Solving over Finite Field Arithmetic},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/KWWq},
  doi       = {10.29007/4n6w},
  pages     = {238-256},
  year      = {2023}}


@inproceedings{LPAR2023:Overapproximation_Non_Linear_Integer,
  author    = {Petra Hozzová and Jaroslav Bendík and Alexander Nutz and Yoav Rodeh},
  title     = {Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/BlrQ},
  doi       = {10.29007/h4p7},
  pages     = {257-269},
  year      = {2023}}


@inproceedings{LPAR2023:Fast_Accurate_ASP_Counting,
  author    = {Mohimenul Kabir and Kuldeep S Meel},
  title     = {A Fast and Accurate ASP Counting Based Network Reliability Estimator},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8zhh},
  doi       = {10.29007/kc6q},
  pages     = {270-287},
  year      = {2023}}


@inproceedings{LPAR2023:Collaborative_Inference_Combined_Invariants,
  author    = {Yurii Kostyukov and Dmitry Mordvinov and Grigory Fedyukovich},
  title     = {Collaborative Inference of Combined Invariants},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/GRNG},
  doi       = {10.29007/kv72},
  pages     = {288-305},
  year      = {2023}}


@inproceedings{LPAR2023:Analyzing_Multiple_Conflicts_SAT,
  author    = {Albert Oliveras and Enric Rodríguez Carbonell and Rui Zhao},
  title     = {Analyzing Multiple Conflicts in SAT: An Experimental Evaluation},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8DDd},
  doi       = {10.29007/fj74},
  pages     = {306-316},
  year      = {2023}}


@inproceedings{LPAR2023:Experiments_Infinite_Model_Finding,
  author    = {Julian Parsert and Chad Brown and Mikolas Janota and Cezary Kaliszyk},
  title     = {Experiments on Infinite Model Finding in SMT Solving},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/TLbl},
  doi       = {10.29007/slrm},
  pages     = {317-328},
  year      = {2023}}


@inproceedings{LPAR2023:Embedding_Intuitionistic_into_Classical,
  author    = {Alexander Pluska and Florian Zuleger},
  title     = {Embedding Intuitionistic into Classical Logic},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8jNL},
  doi       = {10.29007/b294},
  pages     = {329-349},
  year      = {2023}}


@inproceedings{LPAR2023:Complexity_Convex_Reverse_Convex,
  author    = {Rodrigo Raya and Jad Hamza and Viktor Kuncak},
  title     = {On the Complexity of Convex and Reverse Convex Prequadratic Constraints},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/T6kG},
  doi       = {10.29007/wdd7},
  pages     = {350-368},
  year      = {2023}}


@inproceedings{LPAR2023:Representation_Verification_Visualization_Tarskian,
  author    = {Alexander Steen and Geoff Sutcliffe and Pascal Fontaine and Jack McKeown},
  title     = {Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/PFxz},
  doi       = {10.29007/1rhx},
  pages     = {369-385},
  year      = {2023}}


@inproceedings{LPAR2023:Toward_Optimal_Radio_Colorings,
  author    = {Bernardo Subercaseaux and Marijn Heule},
  title     = {Toward Optimal Radio Colorings of Hypercubes via SAT-solving},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/b8Cn},
  doi       = {10.29007/qrmp},
  pages     = {386-404},
  year      = {2023}}


@inproceedings{LPAR2023:Cartesian_Reachability_Logic_Language,
  author    = {Jan Tušil and Traian Serbanuta and Jan Obdrzalek},
  title     = {Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8vTf},
  doi       = {10.29007/1874},
  pages     = {405-456},
  year      = {2023}}


@inproceedings{LPAR2023:Scalable_Probabilistic_Routes,
  author    = {Suwei Yang and Victor Liang and Kuldeep S. Meel},
  title     = {Scalable Probabilistic Routes},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/k25n},
  doi       = {10.29007/5t69},
  pages     = {457-472},
  year      = {2023}}


@inproceedings{LPAR2023:Logic_Differentiable_Logics_Towards,
  author    = {Natalia Ślusarz and Ekaterina Komendantskaya and Matthew Daggitt and Robert Stewart and Kathrin Stark},
  title     = {Logic of Differentiable Logics: Towards a Uniform Semantics of DL},
  booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ruzica Piskac and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {94},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Qw1c},
  doi       = {10.29007/c1nt},
  pages     = {473-493},
  year      = {2023}}