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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2018}}
Papers
@inproceedings{LPAR-22:Verification_Testing_Runtime_Monitoring,
author = {Holger Hermanns and Sebastian Biewer and Pedro R. D'Argenio and Maximilian A. Köhl},
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xgqz},
doi = {10.29007/6zxt},
pages = {1-17},
year = {2018}}
@inproceedings{LPAR-22:Playing_with_Maximum_Flow,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/N3QN},
doi = {10.29007/tkk1},
pages = {18-25},
year = {2018}}
@inproceedings{LPAR-22:Wayeb_Tool_Complex_Event,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/VKP1},
doi = {10.29007/2s9t},
pages = {26-35},
year = {2018}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3Sxf},
doi = {10.29007/ww65},
pages = {36-55},
year = {2018}}
@inproceedings{LPAR-22:Function_Summarization_Modulo_Theories,
author = {Sepideh Asadi and Martin Blicha and Grigory Fedyukovich and Antti Hyvärinen 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nNLJ},
doi = {10.29007/d3bt},
pages = {56-75},
year = {2018}}
@inproceedings{LPAR-22:Matching_Description_Logic_FL0,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XrXz},
doi = {10.29007/q74p},
pages = {76-94},
year = {2018}}
@inproceedings{LPAR-22:Lyndon_Interpolation_holds_Prenex,
author = {Matthias Baaz and Anela Lolic},
title = {Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/v6Sp},
doi = {10.29007/bmlf},
pages = {95-110},
year = {2018}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/SSpj},
doi = {10.29007/s21n},
pages = {111-130},
year = {2018}}
@inproceedings{LPAR-22:Evaluation_Domain_Agnostic_Approaches,
author = {Jaroslav Bendík 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/m8qv},
doi = {10.29007/sxzb},
pages = {131-142},
year = {2018}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/G5dD},
doi = {10.29007/c3bj},
pages = {143-163},
year = {2018}}
@inproceedings{LPAR-22:Verified_Efficient_Implementation_LLL,
author = {Ralph Bottesch and Max W. Haslbeck and René 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/spJt},
doi = {10.29007/xwwh},
pages = {164-180},
year = {2018}}
@inproceedings{LPAR-22:Efficient_SAT_Based_Encodings,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3XKD},
doi = {10.29007/kfjb},
pages = {181-195},
year = {2018}}
@inproceedings{LPAR-22:Reasoning_About_Prescription_Description,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Zn7P},
doi = {10.29007/swdn},
pages = {196-213},
year = {2018}}
@inproceedings{LPAR-22:Two_variable_First_Order,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/f6fB},
doi = {10.29007/24fm},
pages = {214-232},
year = {2018}}
@inproceedings{LPAR-22:Quasipolynomial_Set_Based_Symbolic,
author = {Krishnendu Chatterjee and Wolfgang Dvořák 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/L8b1},
doi = {10.29007/5z5k},
pages = {233-253},
year = {2018}}
@inproceedings{LPAR-22:involutions_as_principal_types/application,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/GRzV},
doi = {10.29007/ntwg},
pages = {254-270},
year = {2018}}
@inproceedings{LPAR-22:Left_Handed_Completeness_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/SDqf},
doi = {10.29007/hzq3},
pages = {271-289},
year = {2018}}
@inproceedings{LPAR-22:Experiments_Verification_Linear_Model,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wZgf},
doi = {10.29007/qt5j},
pages = {290-306},
year = {2018}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8DzT},
doi = {10.29007/6hkk},
pages = {307-325},
year = {2018}}
@inproceedings{LPAR-22:Weak_Completion_Semantics_Equality,
author = {Emmanuelle-Anna Dietz Saldanha and Steffen Hölldobler 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qbws},
doi = {10.29007/pr47},
pages = {326-342},
year = {2018}}
@inproceedings{LPAR-22:LTL_with_Arithmetic_its,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TFr5},
doi = {10.29007/wpg3},
pages = {343-362},
year = {2018}}
@inproceedings{LPAR-22:Arrays_Made_Simpler_Efficient,
author = {Benjamin Farinier and Robin David and Sébastien 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/lSLN},
doi = {10.29007/dc9b},
pages = {363-380},
year = {2018}}
@inproceedings{LPAR-22:Loop_Analysis_Quantification_over,
author = {Bernhard Gleiss and Laura Kovács 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/W2Db},
doi = {10.29007/269p},
pages = {381-399},
year = {2018}}
@inproceedings{LPAR-22:Formal_verification_YubiKey_YubiHSM,
author = {Antonio González-Burgueño and Damián Aparicio-Sánchez and Santiago Escobar and Catherine Meadows and José 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qkkq},
doi = {10.29007/c4xk},
pages = {400-417},
year = {2018}}
@inproceedings{LPAR-22:Lookahead_Based_SMT_Solving,
author = {Antti Hyvärinen 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XVm6},
doi = {10.29007/gzzf},
pages = {418-434},
year = {2018}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/S1fv},
doi = {10.29007/xgc6},
pages = {435-453},
year = {2018}}
@inproceedings{LPAR-22:Towards_Smarter_MACE_style,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/rZKt},
doi = {10.29007/w42s},
pages = {454-470},
year = {2018}}
@inproceedings{LPAR-22:Improving_SAT_based_Bounded,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Mnzd},
doi = {10.29007/2s1q},
pages = {471-487},
year = {2018}}
@inproceedings{LPAR-22:Is_Satisfiability_Quantified_Bit,
author = {Martin Jonáš and Jan Strejč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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wPNs},
doi = {10.29007/spnx},
pages = {488-497},
year = {2018}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2J7s},
doi = {10.29007/ncld},
pages = {498-514},
year = {2018}}
@inproceedings{LPAR-22:Polymorphic_success_types_Erlang,
author = {Francisco J. López-Fraguas and Manuel Montenegro and Gorka Suárez-García},
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/FzsM},
doi = {10.29007/w2m2},
pages = {515-533},
year = {2018}}
@inproceedings{LPAR-22:SMTS_Distributed_Visualized_Constraint,
author = {Matteo Marescotti and Antti Hyvärinen 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/k7BQ},
doi = {10.29007/fhgn},
pages = {534-542},
year = {2018}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/dcnD},
doi = {10.29007/xkwx},
pages = {543-563},
year = {2018}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/hp5j},
doi = {10.29007/f58n},
pages = {564-582},
year = {2018}}
@inproceedings{LPAR-22:Theory_Satisfiability_Preserving_Proofs,
author = {Adrián 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/zr7z},
doi = {10.29007/tc7q},
pages = {583-603},
year = {2018}}
@inproceedings{LPAR-22:Triguarded_Fragment_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wlJ3},
doi = {10.29007/m8ts},
pages = {604-619},
year = {2018}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/CXk2},
doi = {10.29007/h4p9},
pages = {620-636},
year = {2018}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/DtjZ},
doi = {10.29007/2ndp},
pages = {637-655},
year = {2018}}
@inproceedings{LPAR-22:Rewriting_Environment_Arithmetic_Circuit,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/t9Mf},
doi = {10.29007/rswk},
pages = {656-666},
year = {2018}}
