Buchumschlag

Dsat: A Native SAT Solver for Discrete Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Yaofang, Zhou, Ken, Darwiche, Adnan
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

Circuit Representations of Random Forests with Applications to XAI
von: Ji, Chunxi, et al.
Veröffentlicht: (2026)

Learning to Rank the Initial Branching Order of SAT Solvers
von: Eriksson, Arvid, et al.
Veröffentlicht: (2026)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
von: Su, Yuheng, et al.
Veröffentlicht: (2025)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
von: Davis, Liam, et al.
Veröffentlicht: (2025)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
von: Li, Chunxiao, et al.
Veröffentlicht: (2024)

Can Transformers Reason Logically? A Study in SAT Solving
von: Pan, Leyan, et al.
Veröffentlicht: (2024)

Orbitopal Fixing in SAT
von: Anders, Markus, et al.
Veröffentlicht: (2026)

Orthologic for SAT Solving
von: de Haldat, Vladislas, et al.
Veröffentlicht: (2026)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
von: Rahman, A M Muntasir, et al.
Veröffentlicht: (2024)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2026)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
von: Rashid, Adnan
Veröffentlicht: (2026)

A SAT-based approach to rigorous verification of Bayesian networks
von: Stępka, Ignacy, et al.
Veröffentlicht: (2024)

A Reduction of Input/Output Logics to SAT
von: Steen, Alexander
Veröffentlicht: (2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
von: Chen, Minyu, et al.
Veröffentlicht: (2024)

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

Automatically discovering heuristics in a complex SAT solver with large language models
von: Sun, Yiwen, et al.
Veröffentlicht: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

A general optimization solver based on OP-to-MaxSAT reduction
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

A Logic of Uncertain Interpretation
von: Bjorndahl, Adam
Veröffentlicht: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
von: Wang, Ruolin, et al.
Veröffentlicht: (2024)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
von: Bartholomew, Michael, et al.
Veröffentlicht: (2025)

Logic Synthesis with Generative Deep Neural Networks
von: Li, Xihan, et al.
Veröffentlicht: (2024)

Proof Recommendation System for the HOL4 Theorem Prover
von: Dekhil, Nour, et al.
Veröffentlicht: (2024)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
von: Bednarczyk, Bartosz
Veröffentlicht: (2023)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Rethinking Clause Management for CDCL SAT Solvers
von: Cai, Yalun, et al.
Veröffentlicht: (2026)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
von: Zhang, Xinglang, et al.
Veröffentlicht: (2026)

Metric Dynamic Equilibrium Logic
von: Becker, Arvid, et al.
Veröffentlicht: (2024)

Logical foundations of Smart Contracts
von: Kalala, Kalonji
Veröffentlicht: (2025)

On the Logical Content of Knowledge Bases
von: Gheorghiu, Alexader V., et al.
Veröffentlicht: (2025)

Existential Notation3 Logic
von: Arndt, Dörthe, et al.
Veröffentlicht: (2023)

Model Change for Description Logic Concepts
von: Ozaki, Ana, et al.
Veröffentlicht: (2026)

Probabilistic Strategy Logic with Degrees of Observability
von: Mu, Chunyan, et al.
Veröffentlicht: (2024)

Extending Defeasibility for Propositional Standpoint Logics
von: Leisegang, Nicholas, et al.
Veröffentlicht: (2025)

Logical Characterizations of GNNs with Mean Aggregation
von: Schönherr, Moritz, et al.
Veröffentlicht: (2025)

Deductive Systems for Logic Programs with Counting
von: Fandinno, Jorge, et al.
Veröffentlicht: (2025)