Deciding the Satisfiability of Combined Qualitative Constraint Networks
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Cohen-Solal, Quentin, Niveau, Alexandre, Bouzid, Maroua |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Completeness of Unbounded Best-First Minimax and Descent Minimax
von: Cohen-Solal, Quentin
Veröffentlicht: (2026)
von: Cohen-Solal, Quentin
Veröffentlicht: (2026)
Learning to Play Two-Player Perfect-Information Games without Knowledge
von: Cohen-Solal, Quentin
Veröffentlicht: (2020)
von: Cohen-Solal, Quentin
Veröffentlicht: (2020)
Study and Improvement of Search Algorithms in Multi-Player Perfect-Information Games
von: Cohen-Solal, Quentin
Veröffentlicht: (2026)
von: Cohen-Solal, Quentin
Veröffentlicht: (2026)
Study and improvement of search algorithms in two-players perfect information games
von: Cohen-Solal, Quentin
Veröffentlicht: (2025)
von: Cohen-Solal, Quentin
Veröffentlicht: (2025)
Minibal: Balanced Game-Playing Without Opponent Modeling
von: Cohen-Solal, Quentin, et al.
Veröffentlicht: (2026)
von: Cohen-Solal, Quentin, et al.
Veröffentlicht: (2026)
Minimax Strikes Back
von: Cohen-Solal, Quentin, et al.
Veröffentlicht: (2020)
von: Cohen-Solal, Quentin, et al.
Veröffentlicht: (2020)
On some improvements to Unbounded Minimax
von: Cohen-Solal, Quentin, et al.
Veröffentlicht: (2025)
von: Cohen-Solal, Quentin, et al.
Veröffentlicht: (2025)
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
von: Lutz, Carsten, et al.
Veröffentlicht: (2024)
von: Lutz, Carsten, et al.
Veröffentlicht: (2024)
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
von: Chan, Tsz Ho, et al.
Veröffentlicht: (2024)
von: Chan, Tsz Ho, et al.
Veröffentlicht: (2024)
Combining Constraint Programming Reasoning with Large Language Model Predictions
von: Régin, Florian, et al.
Veröffentlicht: (2024)
von: Régin, Florian, et al.
Veröffentlicht: (2024)
LinSATNet: The Positive Linear Satisfiability Neural Networks
von: Wang, Runzhong, et al.
Veröffentlicht: (2024)
von: Wang, Runzhong, et al.
Veröffentlicht: (2024)
Attention Satisfies: A Constraint-Satisfaction Lens on Factual Errors of Language Models
von: Yuksekgonul, Mert, et al.
Veröffentlicht: (2023)
von: Yuksekgonul, Mert, et al.
Veröffentlicht: (2023)
Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
von: Oh, Hyunseok, et al.
Veröffentlicht: (2026)
von: Oh, Hyunseok, et al.
Veröffentlicht: (2026)
Integer Linear Programming Preprocessing for Maximum Satisfiability
von: Zhang, Jialu, et al.
Veröffentlicht: (2025)
von: Zhang, Jialu, et al.
Veröffentlicht: (2025)
Mitigating the reconstruction-detection trade-off in VAE-based unsupervised anomaly detection
von: Senellart, Agathe, et al.
Veröffentlicht: (2026)
von: Senellart, Agathe, et al.
Veröffentlicht: (2026)
Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
von: Jabs, Christoph, et al.
Veröffentlicht: (2025)
von: Jabs, Christoph, et al.
Veröffentlicht: (2025)
Satisfiability Modulo Theory Meets Inductive Logic Programming
von: Upreti, Nijesh, et al.
Veröffentlicht: (2025)
von: Upreti, Nijesh, et al.
Veröffentlicht: (2025)
On the Expressive Power of GNNs for Boolean Satisfiability
von: Peltonen, Saku, et al.
Veröffentlicht: (2026)
von: Peltonen, Saku, et al.
Veröffentlicht: (2026)
Boolean Satisfiability via Imitation Learning
von: Zhang, Zewei, et al.
Veröffentlicht: (2025)
von: Zhang, Zewei, et al.
Veröffentlicht: (2025)
On the Size Complexity and Decidability of First-Order Progression
von: Classen, Jens, et al.
Veröffentlicht: (2026)
von: Classen, Jens, et al.
Veröffentlicht: (2026)
Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
von: Cen, Yunuo, et al.
Veröffentlicht: (2026)
von: Cen, Yunuo, et al.
Veröffentlicht: (2026)
Gateways to Tractability for Satisfiability in Pearl's Causal Hierarchy
von: Ganian, Robert, et al.
Veröffentlicht: (2025)
von: Ganian, Robert, et al.
Veröffentlicht: (2025)
From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
von: Zhao, Haoruo, et al.
Veröffentlicht: (2026)
von: Zhao, Haoruo, et al.
Veröffentlicht: (2026)
torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
von: Hosny, Abdelrahman, et al.
Veröffentlicht: (2024)
von: Hosny, Abdelrahman, et al.
Veröffentlicht: (2024)
Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming
von: Brayé, Clotilde, et al.
Veröffentlicht: (2025)
von: Brayé, Clotilde, et al.
Veröffentlicht: (2025)
Randomness control and reproducibility study of random forest algorithm in R and Python
von: Camadini, Louisa, et al.
Veröffentlicht: (2024)
von: Camadini, Louisa, et al.
Veröffentlicht: (2024)
Scalable Floating-Point Satisfiability via Staged Optimization
von: Zhang, Yuanzhuo, et al.
Veröffentlicht: (2026)
von: Zhang, Yuanzhuo, et al.
Veröffentlicht: (2026)
The AI Definition and a Program Which Satisfies this Definition
von: Dobrev, Dimiter
Veröffentlicht: (2022)
von: Dobrev, Dimiter
Veröffentlicht: (2022)
Tracking vs. Deciding: The Dual-Capability Bottleneck in Searchless Chess Transformers
von: Li, Quanhao, et al.
Veröffentlicht: (2026)
von: Li, Quanhao, et al.
Veröffentlicht: (2026)
Learning to Decide with Just Enough: Information-Theoretic Context Summarization for CMDPs
von: Liu, Peidong, et al.
Veröffentlicht: (2025)
von: Liu, Peidong, et al.
Veröffentlicht: (2025)
GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
von: Zeng, Hongtai, et al.
Veröffentlicht: (2024)
von: Zeng, Hongtai, et al.
Veröffentlicht: (2024)
Probabilistic and Causal Satisfiability: Constraining the Model
von: Bläser, Markus, et al.
Veröffentlicht: (2025)
von: Bläser, Markus, et al.
Veröffentlicht: (2025)
How Hard is it to Decide if a Fact is Relevant to a Query?
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2026)
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2026)
Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
von: Sebastiani, Roberto
Veröffentlicht: (2025)
von: Sebastiani, Roberto
Veröffentlicht: (2025)
Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
von: Li, Jinzhao, et al.
Veröffentlicht: (2025)
von: Li, Jinzhao, et al.
Veröffentlicht: (2025)
Learning Valid Dual Bounds in Constraint Programming: Boosted Lagrangian Decomposition with Self-Supervised Learning
von: Bessa, Swann, et al.
Veröffentlicht: (2024)
von: Bessa, Swann, et al.
Veröffentlicht: (2024)
GeoDecider: A Coarse-to-Fine Agentic Workflow for Explainable Lithology Classification
von: Wang, Jiahao, et al.
Veröffentlicht: (2026)
von: Wang, Jiahao, et al.
Veröffentlicht: (2026)
Learning When Not to Decide: A Framework for Overcoming Factual Presumptuousness in AI Adjudication
von: Afane, Mohamed, et al.
Veröffentlicht: (2026)
von: Afane, Mohamed, et al.
Veröffentlicht: (2026)
Deciding When Not to Decide: Indeterminacy-Aware Intrusion Detection with NeutroSENSE
von: Al-Masri, Eyhab
Veröffentlicht: (2025)
von: Al-Masri, Eyhab
Veröffentlicht: (2025)
CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers
von: Song, Yuliang, et al.
Veröffentlicht: (2026)
von: Song, Yuliang, et al.
Veröffentlicht: (2026)
Ähnliche Einträge
-
Completeness of Unbounded Best-First Minimax and Descent Minimax
von: Cohen-Solal, Quentin
Veröffentlicht: (2026) -
Learning to Play Two-Player Perfect-Information Games without Knowledge
von: Cohen-Solal, Quentin
Veröffentlicht: (2020) -
Study and Improvement of Search Algorithms in Multi-Player Perfect-Information Games
von: Cohen-Solal, Quentin
Veröffentlicht: (2026) -
Study and improvement of search algorithms in two-players perfect information games
von: Cohen-Solal, Quentin
Veröffentlicht: (2025) -
Minibal: Balanced Game-Playing Without Opponent Modeling
von: Cohen-Solal, Quentin, et al.
Veröffentlicht: (2026)