Buchumschlag

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chatterjee, Krishnendu, Goharshady, Ehsan Kafshdar, Karrabi, Mehrdad, Motwani, Harshit J, Seeliger, Maximilian, Žikelić, Đorđe
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

PolyQEnt: A Polynomial Quantified Entailment Solver
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Automated Approach for Solving Infinite-state Polynomial Reachability Games
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2026)

Solving Long-run Average Reward Robust MDPs via Stochastic Games
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2023)

SuperDP: Differential Privacy Refutation via Supermartingales
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2026)

Qualitative Analysis of $ω$-Regular Objectives on Robust MDPs
von: Asadi, Ali, et al.
Veröffentlicht: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
von: Akshay, S., et al.
Veröffentlicht: (2024)

Strongly Polynomial Time Complexity of Policy Iteration for $L_\infty$ Robust MDPs
von: Asadi, Ali, et al.
Veröffentlicht: (2026)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Template-based Program Synthesis using Stellensätze
von: Goharshady, Amir Kafshdar, et al.
Veröffentlicht: (2022)

Quantifier Elimination Meets Treewidth
von: Wu, Hao, et al.
Veröffentlicht: (2026)

Omega-regular Verification and Control for Distributional Specifications in MDPs
von: Akshay, S., et al.
Veröffentlicht: (2025)

Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
von: Orvalho, Pedro, et al.
Veröffentlicht: (2026)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
von: Kim, Curie, et al.
Veröffentlicht: (2026)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
von: Marković, Đorđe, et al.
Veröffentlicht: (2025)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
von: Sebastiani, Roberto
Veröffentlicht: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
von: Li, Jinzhao, et al.
Veröffentlicht: (2025)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
von: Ramirez, Miquel, et al.
Veröffentlicht: (2024)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
von: Heck, Linus, et al.
Veröffentlicht: (2025)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
von: Cramer, Marcos, et al.
Veröffentlicht: (2026)

Probabilistic and Causal Satisfiability: Constraining the Model
von: Bläser, Markus, et al.
Veröffentlicht: (2025)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
von: Lipparini, Enrico, et al.
Veröffentlicht: (2023)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
von: Zhang, Leizhen, et al.
Veröffentlicht: (2026)

Satisfiability Modulo Exponential Integer Arithmetic
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
von: Li, Jinzhao, et al.
Veröffentlicht: (2023)

Quantifier Instantiations: To Mimic or To Revolt?
von: Jakubův, Jan, et al.
Veröffentlicht: (2025)

The Computational Complexity of Satisfiability in State Space Models
von: Alsmann, Eric, et al.
Veröffentlicht: (2025)

Satisfiability of Quantified Boolean Announcements
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2022)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
von: Sälzer, Marco, et al.
Veröffentlicht: (2024)

Learning Algorithms for Verification of Markov Decision Processes
von: Brázdil, Tomáš, et al.
Veröffentlicht: (2024)

Certificate-Guided Evaluation of Reinforcement Learning Generalization
von: Subramanian, Vignesh, et al.
Veröffentlicht: (2026)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Definable sets in Skolem arithmetic
von: Kamiński, Łukasz
Veröffentlicht: (2025)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

Neural Control and Certificate Repair via Runtime Monitoring
von: Yu, Emily, et al.
Veröffentlicht: (2024)

Quantifying Calibration Error in Neural Networks Through Evidence-Based Theory
von: Ouattara, Koffi Ismael, et al.
Veröffentlicht: (2024)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2024)