Volume
@proceedings{LPAR-22,
title = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}Papers
@inproceedings{LPAR-22:Verification_Testing_and_Runtime,
author = {Holger Hermanns and Sebastian Biewer and Pedro R. D'Argenio and Maximilian A. K\textbackslash{}"ohl},
title = {Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {1--17},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xgqz},
doi = {10.29007/6zxt}}
@inproceedings{LPAR-22:Playing_with_Maximum_Flow_Problem,
author = {Orna Kupferman},
title = {Playing with the Maximum-Flow Problem},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {18--25},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/N3QN},
doi = {10.29007/tkk1}}
@inproceedings{LPAR-22:Wayeb_Tool_for_Complex,
author = {Elias Alevizos and Alexander Artikis and Georgios Paliouras},
title = {Wayeb: a Tool for Complex Event Forecasting},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {26--35},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/VKP1},
doi = {10.29007/2s9t}}
@inproceedings{LPAR-22:When_Are_Two_Gossips,
author = {Krzysztof Apt and Davide Grossi and Wiebe Van-Der-Hoek},
title = {When Are Two Gossips the Same?},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {36--55},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3Sxf},
doi = {10.29007/ww65}}
@inproceedings{LPAR-22:Function_Summarization_Modulo_Theories,
author = {Sepideh Asadi and Martin Blicha and Grigory Fedyukovich and Antti Hyv\textbackslash{}"arinen and Karine Even-Mendoza and Natasha Sharygina and Hana Chockler},
title = {Function Summarization Modulo Theories},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {56--75},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/nNLJ},
doi = {10.29007/d3bt}}
@inproceedings{LPAR-22:Matching_in_Description_Logic,
author = {Franz Baader and Oliver Fernandez Gil and Pavlos Marantidis},
title = {Matching in the Description Logic FL0 with respect to General TBoxes},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {76--94},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/XrXz},
doi = {10.29007/q74p}}
@inproceedings{LPAR-22:Lyndon_Interpolation_holds_for,
author = {Matthias Baaz and Anela Lolic},
title = {Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of G\textbackslash{}"odel Logic},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {95--110},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/v6Sp},
doi = {10.29007/bmlf}}
@inproceedings{LPAR-22:Decidable_Inequalities_over_Infinite,
author = {Sabine Bauer and Steffen Jost and Martin Hofmann},
title = {Decidable Inequalities over Infinite Trees},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {111--130},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/SSpj},
doi = {10.29007/s21n}}
@inproceedings{LPAR-22:Evaluation_of_Domain_Agnostic,
author = {Jaroslav Bend\textbackslash{}'ik and Ivana Cerna},
title = {Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {131--142},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/m8qv},
doi = {10.29007/sxzb}}
@inproceedings{LPAR-22:Why_These_Automata_Types,
author = {Udi Boker},
title = {Why These Automata Types?},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {143--163},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/G5dD},
doi = {10.29007/c3bj}}
@inproceedings{LPAR-22:Verified_Efficient_Implementation_of,
author = {Ralph Bottesch and Max W. Haslbeck and Ren\textbackslash{}'e Thiemann},
title = {A Verified Efficient Implementation of the LLL Basis Reduction Algorithm},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {164--180},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/spJt},
doi = {10.29007/xwwh}}
@inproceedings{LPAR-22:Efficient_SAT_Based_Encodings_of,
author = {Abdelhamid Boudane and Said Jabbour and Badran Raddaoui and Lakhdar Sais},
title = {Efficient SAT-Based Encodings of Conditional Cardinality Constraints},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {181--195},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3XKD},
doi = {10.29007/kfjb}}
@inproceedings{LPAR-22:Reasoning_About_Prescription_and,
author = {Valentin Cassano and Carlos Areces and Pablo Castro},
title = {Reasoning About Prescription and Description Using Prioritized Default Rules},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {196--213},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Zn7P},
doi = {10.29007/swdn}}
@inproceedings{LPAR-22:Two_variable_First_Order_Logic_with,
author = {Witold Charatonik and Yegor Guskov and Ian Pratt-Hartmann and Piotr Witkowski},
title = {Two-variable First-Order Logic with Counting in Forests},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {214--232},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/f6fB},
doi = {10.29007/24fm}}
@inproceedings{LPAR-22:Quasipolynomial_Set_Based_Symbolic_Algorithms,
author = {Krishnendu Chatterjee and Wolfgang Dvo\textbackslash{}v\{r\}\textbackslash{}'ak and Monika Henzinger and Alexander Svozil},
title = {Quasipolynomial Set-Based Symbolic Algorithms for Parity Games},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {233--253},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/L8b1},
doi = {10.29007/5z5k}}
@inproceedings{LPAR-22:involutions_as_principal_types_application_as_unification_Analogy,
author = {Alberto Ciaffaglione and Furio Honsell and Marina Lenisa and Ivan Scagnetto},
title = {The involutions-as-principal types/application-as-unification Analogy},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {254--270},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/GRzV},
doi = {10.29007/ntwg}}
@inproceedings{LPAR-22:Left_Handed_Completeness_for_Kleene,
author = {Anupam Das and Amina Doumane and Damien Pous},
title = {Left-Handed Completeness for Kleene algebra, via Cyclic Proofs},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {271--289},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/SDqf},
doi = {10.29007/hzq3}}
@inproceedings{LPAR-22:Experiments_in_Verification_of,
author = {Guillaume Davy and Eric Feron and Pierre-Loic Garoche and Didier Henrion},
title = {Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {290--306},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wZgf},
doi = {10.29007/qt5j}}
@inproceedings{LPAR-22:Graph_Path_Orderings,
author = {Nachum Dershowitz and Jean-Pierre Jouannaud},
title = {Graph Path Orderings},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {307--325},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8DzT},
doi = {10.29007/6hkk}}
@inproceedings{LPAR-22:Weak_Completion_Semantics_and,
author = {Emmanuelle-Anna Dietz Saldanha and Steffen H\textbackslash{}"olldobler and Sibylle Schwarz and Lim Yohanes Stefanus},
title = {The Weak Completion Semantics and Equality},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {326--342},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qbws},
doi = {10.29007/pr47}}
@inproceedings{LPAR-22:LTL_with_Arithmetic_and,
author = {Rachel Faran and Orna Kupferman},
title = {LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {343--362},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TFr5},
doi = {10.29007/wpg3}}
@inproceedings{LPAR-22:Arrays_Made_Simpler_An,
author = {Benjamin Farinier and Robin David and S\textbackslash{}'ebastien Bardin and Matthieu Lemerre},
title = {Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {363--380},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/lSLN},
doi = {10.29007/dc9b}}
@inproceedings{LPAR-22:Loop_Analysis_by_Quantification,
author = {Bernhard Gleiss and Laura Kov\textbackslash{}'acs and Simon Robillard},
title = {Loop Analysis by Quantification over Iterations},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {381--399},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/W2Db},
doi = {10.29007/269p}}
@inproceedings{LPAR-22:Formal_verication_of_YubiKey,
author = {Antonio Gonz\textbackslash{}'alez-Burgue\textbackslash{}\~{}\{n\}o and Dami\textbackslash{}'an Aparicio-S\textbackslash{}'anchez and Santiago Escobar and Catherine Meadows and Jos\textbackslash{}'e Meseguer},
title = {Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {400--417},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qkkq},
doi = {10.29007/c4xk}}
@inproceedings{LPAR-22:Lookahead_Based_SMT_Solving,
author = {Antti Hyv\textbackslash{}"arinen and Matteo Marescotti and Parvin Sadigova and Hana Chockler and Natasha Sharygina},
title = {Lookahead-Based SMT Solving},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {418--434},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/XVm6},
doi = {10.29007/gzzf}}
@inproceedings{LPAR-22:Complete_Cyclic_Proof_System,
author = {Radu Iosif and Cristina Serban},
title = {A Complete Cyclic Proof System for Inductive Entailments in First Order Logic},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {435--453},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/S1fv},
doi = {10.29007/xgc6}}
@inproceedings{LPAR-22:Towards_Smarter_MACE_style_Model,
author = {Mikolas Janota and Martin Suda},
title = {Towards Smarter MACE-style Model Finders},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {454--470},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/rZKt},
doi = {10.29007/w42s}}
@inproceedings{LPAR-22:Improving_SAT_based_Bounded_Model,
author = {Chuan Jiang and Gianfranco Ciardo},
title = {Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {471--487},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Mnzd},
doi = {10.29007/2s1q}}
@inproceedings{LPAR-22:Is_Satisfiability_of_Quantified,
author = {Martin Jon\textbackslash{}'a\textbackslash{}v\{s\} and Jan Strej\textbackslash{}v\{c\}ek},
title = {Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper)},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {488--497},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wPNs},
doi = {10.29007/spnx}}
@inproceedings{LPAR-22:Alternating_Reachability_Games_with,
author = {Orna Kupferman and Tami Tamir},
title = {Alternating Reachability Games with Behavioral and Revenue Objectives},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {498--514},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/2J7s},
doi = {10.29007/ncld}}
@inproceedings{LPAR-22:Polymorphic_success_types_for,
author = {Francisco J. L\textbackslash{}'opez-Fraguas and Manuel Montenegro and Gorka Su\textbackslash{}'arez-Garc\textbackslash{}'ia},
title = {Polymorphic success types for Erlang},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {515--533},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/FzsM},
doi = {10.29007/w2m2}}
@inproceedings{LPAR-22:SMTS_Distributed_Visualized_Constraint,
author = {Matteo Marescotti and Antti Hyv\textbackslash{}"arinen and Natasha Sharygina},
title = {SMTS: Distributed, Visualized Constraint Solving},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {534--542},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/k7BQ},
doi = {10.29007/fhgn}}
@inproceedings{LPAR-22:Automatic_Space_Bound_Analysis,
author = {Yue Niu and Jan Hoffmann},
title = {Automatic Space Bound Analysis for Functional Programs with Garbage Collection},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {543--563},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/dcnD},
doi = {10.29007/xkwx}}
@inproceedings{LPAR-22:Verified_Theorem_Prover_Backend,
author = {Vincent Rahli and Liron Cohen and Mark Bickford},
title = {A Verified Theorem Prover Backend Supported by a Monotonic Library},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {564--582},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/hp5j},
doi = {10.29007/f58n}}
@inproceedings{LPAR-22:Theory_of_Satisfiability_Preserving_Proofs,
author = {Adri\textbackslash{}'an Rebola-Pardo and Martin Suda},
title = {A Theory of Satisfiability-Preserving Proofs in SAT Solving},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {583--603},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zr7z},
doi = {10.29007/tc7q}}
@inproceedings{LPAR-22:Triguarded_Fragment_of_First_Order,
author = {Sebastian Rudolph and Mantas Simkus},
title = {The Triguarded Fragment of First-Order Logic},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {604--619},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wlJ3},
doi = {10.29007/m8ts}}
@inproceedings{LPAR-22:Knowledge_Compilation_meets_Uniform,
author = {Shubham Sharma and Rahul Gupta and Subhajit Roy and Kuldeep S. Meel},
title = {Knowledge Compilation meets Uniform Sampling},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {620--636},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/CXk2},
doi = {10.29007/h4p9}}
@inproceedings{LPAR-22:Parse_Condition_Symbolic_Encoding,
author = {Dhruv Singal and Palak Agarwal and Saket Jhunjhunwala and Subhajit Roy},
title = {Parse Condition: Symbolic Encoding of LL(1) Parsing},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {637--655},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/DtjZ},
doi = {10.29007/2ndp}}
@inproceedings{LPAR-22:Rewriting_Environment_for_Arithmetic,
author = {Cunxi Yu and Atif Yasin and Tiankai Su and Alan Mishchenko and Maciej Ciesielski},
title = {Rewriting Environment for Arithmetic Circuit Verification},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {656--666},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/t9Mf},
doi = {10.29007/rswk}}
