Cover Image

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Sebastiani, Roberto
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Disjoint Partial Enumeration without Blocking Clauses
by: Spallitta, Giuseppe, et al.
Published: (2023)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
by: Masina, Gabriele, et al.
Published: (2025)

On Enumerating Short Projected Models
by: Möhle, Sibylle, et al.
Published: (2021)

Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
by: Koopmann, Patrick, et al.
Published: (2025)

Neural Network Verification using Partial Multi-Neuron Relaxation
by: Shmuel, Ido, et al.
Published: (2026)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
by: Li, Jinzhao, et al.
Published: (2025)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
by: Spallitta, Giuseppe, et al.
Published: (2024)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
by: Heck, Linus, et al.
Published: (2025)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Probabilistic and Causal Satisfiability: Constraining the Model
by: Bläser, Markus, et al.
Published: (2025)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
by: Cramer, Marcos, et al.
Published: (2026)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
by: Orvalho, Pedro, et al.
Published: (2026)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
by: Kim, Curie, et al.
Published: (2026)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
by: Meng, Qiaolan, et al.
Published: (2025)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
by: Civini, Emanuele, et al.
Published: (2026)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
by: Zhang, Leizhen, et al.
Published: (2026)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
by: Li, Jinzhao, et al.
Published: (2023)

Hyperproperty Verification as CHC Satisfiability
by: Itzhaky, Shachar, et al.
Published: (2023)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
by: Ramirez, Miquel, et al.
Published: (2024)

The Computational Complexity of Satisfiability in State Space Models
by: Alsmann, Eric, et al.
Published: (2025)

Hypergraph Neural Networks Accelerate MUS Enumeration
by: Ijima, Hiroya, et al.
Published: (2026)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
by: Sälzer, Marco, et al.
Published: (2024)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
by: Finkbeiner, Bernd, et al.
Published: (2025)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

Laurel: Unblocking Automated Verification with Large Language Models
by: Mugnier, Eric, et al.
Published: (2024)

Partial Label Learning for Automated Theorem Proving
by: Zombori, Zsolt, et al.
Published: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
by: Nicoletti, Stefano M., et al.
Published: (2025)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
by: Heuer, Jan
Published: (2023)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
by: Shea-Blymyer, Colin, et al.
Published: (2024)

On CNF Conversion for SAT and SMT Enumeration
by: Masina, Gabriele, et al.
Published: (2023)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
by: Chen, Chen, et al.
Published: (2025)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
by: Bhat, Vishak K, et al.
Published: (2026)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
by: Akshay, S., et al.
Published: (2024)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
by: Rehan, Zainab, et al.
Published: (2026)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
by: Kumar, Aman
Published: (2024)