| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Albert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao |
Analyzing Multiple Conflicts in SAT: An Experimental Evaluation.  |
LPAR  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Pluska, Florian Zuleger |
Embedding Intuitionistic into Classical Logic. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Subercaseaux, Marijn Heule |
Toward Optimal Radio Colorings of Hypercubes via SAT-solving. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Raya, Jad Hamza, Viktor Kuncak |
On the Complexity of Convex and Reverse Convex Prequadratic Constraints. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
Exploring Partial Models with SCL. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz |
Tighter Abstract Queries in Neural Network Verification. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown |
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino |
Formalization of Algebraic Theorems in PVS (Invited Talk). |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta |
Trace-based Deductive Verification. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban |
A Mathematical Benchmark for Inductive Theorem Provers. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
Collaborative Inference of Combined Invariants. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Ettarguy, Ahlame Begdouri, Salem Benferhat, Carole Delenne |
Syntactic computation of Fagin-Halpern conditioning in possibility theory. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart 0001, Kathrin Stark |
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Julian Siber |
Counterfactuals Modulo Temporal Logics. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen |
Keep me out of the loop: a more flexible choreographic projection. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hader, Daniela Kaufmann, Laura Kovács |
SMT Solving over Finite Field Arithmetic. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Haniel Barbosa, Chantal Keller, Andrew Reynolds 0001, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett |
An Interactive SMT Tactic in Coq using Abductive Reasoning. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh |
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Filip Bártek, Martin Suda 0001 |
How Much Should This Symbol Weigh? A GNN-Advised Clause Selection. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac, Andrei Voronkov (eds.) |
LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. |
LPAR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock, Josef Urban |
Guiding an Instantiation Prover with Graph Neural Networks. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohimenul Kabir, Kuldeep S. Meel |
A Fast and Accurate ASP Counting Based Network Reliability Estimator. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oskar Fiuk, Emanuel Kieronski |
An excursion to the border of decidability: between two- and three-variable logic. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Suwei Yang, Victor C. Liang, Kuldeep S. Meel |
Scalable Probabilistic Routes. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raven Beutner, Bernd Finkbeiner |
Model Checking Omega-Regular Hyperproperties with AutoHyperQ. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tusil, Traian Serbanuta, Jan Obdrzálek |
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk |
Experiments on Infinite Model Finding in SMT Solving. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl |
Refining Unification with Abstraction. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco |
A typed parallel lambda-calculus via 1-depth intermediate proofs. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
Finding Small Proofs for Description Logic Entailments: Theory and Practice. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarkko Savela, Emilia Oikarinen, Matti Järvisalo |
Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Piotrowski, Josef Urban |
Stateful Premise Selection by Recurrent Neural Networks. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuel Kieronski, Adam Malinowski |
The Triguarded Fragment with Transitivity. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan H. Boockmann, Gerald Lüttgen |
Learning Data Structure Shapes from Memory Graphs. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Khaled, Belaid Benhamou |
An ASP-based Approach for Boolean Networks Representation and Attractor Detection. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lasse Blaauwbroek, Josef Urban, Herman Geuvers |
Tactic Learning and Proving for the Coq Proof Assistant. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva 0001 |
Models of Concurrent Kleene Algebra. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Katelaan, Florian Zuleger |
Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Rebola-Pardo, Georg Weissenbacher |
RAT Elimination. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Laura Kovács (eds.) |
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. |
LPAR |
2020 |
DBLP BibTeX RDF |
|
| 1 | Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras, Enric Rodríguez-Carbonell |
Decision levels are stable: towards better SAT heuristics. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yakoub Salhi |
On Reasoning about Access to Knowledge. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Goldberger, Guy Katz, Yossi Adi, Joseph Keshet |
Minimal Modifications of Deep Neural Networks using Verification. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Fleury, Christoph Weidenbach |
A Verified SAT Solver Framework including Optimization and Partial Valuations. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio |
A compositional semantics for Repairable Fault Trees with general distributions. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili |
Induction Models on N. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Hark, Florian Frohn, Jürgen Giesl |
Polynomial Loops: Beyond Termination. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Bendík, Ivana Cerna |
Rotation Based MSS/MCS Enumeration. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sweeney, Marijn Heule, Lawrence T. Pileggi |
Sensitivity Analysis of Locked Circuits. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Havlena, Lukás Holík, Ondrej Lengál, Ondrej Vales, Tomás Vojnar |
Antiprenexing for WSkS: A Little Goes a Long Way. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
Learning What Others Know. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre |
NACRE - A Nogood And Clause Reasoning Engine. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibault Gauthier |
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Oostema, Ruben Martins, Marijn Heule |
Coloring Unit-Distance Strips using SAT. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
Parameter Synthesis for Probabilistic Hyperproperties. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Åman Pohjola, Arve Gengelbach |
A Mechanised Semantics for HOL with Ad-hoc Overloading. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Faran, Orna Kupferman |
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker |
Why These Automata Types? |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais |
Efficient SAT-Based Encodings of Conditional Cardinality Constraints. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Niu, Jan Hoffmann 0002 |
Automatic Space Bound Analysis for Functional Programs with Garbage Collection. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Tami Tamir |
Alternating Reachability Games with Behavioral and Revenue Objectives. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman |
Playing with the Maximum-Flow Problem. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Anela Lolic |
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina |
SMTS: Distributed, Visualized Constraint Solving. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Jonás, Jan Strejcek |
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper). |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuan Jiang, Gianfranco Ciardo |
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski |
Rewriting Environment for Arithmetic Circuit Verification. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Gleiss, Laura Kovács, Simon Robillard |
Loop Analysis by Quantification over Iterations. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Rahli, Liron Cohen 0001, Mark Bickford |
A Verified Theorem Prover Backend Supported by a Monotonic Library. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil |
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Cassano, Carlos Areces, Pablo F. Castro |
Reasoning About Prescription and Description Using Prioritized Default Rules. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler |
Function Summarization Modulo Theories. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Bottesch, Max W. Haslbeck, René Thiemann |
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Bauer 0002, Steffen Jost, Martin Hofmann 0001 |
Decidable Inequalities over Infinite Trees. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek |
When Are Two Gossips the Same? |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre |
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl |
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Jean-Pierre Jouannaud |
Graph Path Orderings. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina |
Lookahead-Based SMT Solving. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Geoff Sutcliffe, Margus Veanes (eds.) |
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 |
LPAR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Jaroslav Bendík, Ivana Cerna |
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Rebola-Pardo, Martin Suda 0001 |
A Theory of Satisfiability-Preserving Proofs in SAT Solving. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus |
The Weak Completion Semantics and Equality. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Rudolph, Mantas Simkus |
The Triguarded Fragment of First-Order Logic. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002, Amina Doumane, Damien Pous |
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion |
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shubham Sharma 0003, Rahul Gupta, Subhajit Roy 0001, Kuldeep S. Meel |
Knowledge Compilation meets Uniform Sampling. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolas Janota, Martin Suda 0001 |
Towards Smarter MACE-style Model Finders. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Iosif, Cristina Serban |
A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
The involutions-as-principal types/application-as-unification Analogy. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis |
Matching in the Description Logic FL0 with respect to General TBoxes. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Yegor Guskov, Ian Pratt-Hartmann, Piotr Witkowski 0001 |
Two-variable First-Order Logic with Counting in Forests. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Elias Alevizos, Alexander Artikis, Georgios Paliouras |
Wayeb: a Tool for Complex Event Forecasting. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García |
Polymorphic success types for Erlang. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy 0001 |
Parse Condition: Symbolic Encoding of LL(1) Parsing. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Miika Hannula, Juha Kontinen, Sebastian Link |
On the Interaction of Inclusion Dependencies with Independence Atoms. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001 |
A Quantitative Partial Model-Checking Function and Its Optimisation. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hainry, Romain Péchoux |
Higher order interpretation for higher order complexity. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license