Image de couverture de livre

Exploiting Symmetries in MUS Computation (Extended version)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bleukx, Ignace, Verhaeghe, Hélène, Bogaerts, Bart, Guns, Tias
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Using Certifying Constraint Solvers for Generating Step-wise Explanations
par: Bleukx, Ignace, et autres
Publié: (2025)

Trustworthy and Explainable Decision-Making for Workforce allocation
par: Povéda, Guillaume, et autres
Publié: (2024)

Preference Elicitation for Step-Wise Explanations in Logic Puzzles
par: Foschini, Marco, et autres
Publié: (2025)

DCP-Bench-Open: Evaluating LLMs for Constraint Modelling of Discrete Combinatorial Problems
par: Michailidis, Kostis, et autres
Publié: (2025)

Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation
par: Defresne, Marianne, et autres
Publié: (2025)

Generalizing Constraint Models in Constraint Acquisition
par: Tsouros, Dimos, et autres
Publié: (2024)

Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
par: Mandi, Jayanta, et autres
Publié: (2025)

A Divide-Align-Conquer Strategy for Program Synthesis
par: Witt, Jonas, et autres
Publié: (2023)

Solver-Free Decision-Focused Learning for Linear Optimization Problems
par: Berden, Senne, et autres
Publié: (2025)

Minimizing Surrogate Losses for Decision-Focused Learning using Differentiable Optimization
par: Mandi, Jayanta, et autres
Publié: (2025)

Decision-Focused Learning to Predict Action Costs for Planning
par: Mandi, Jayanta, et autres
Publié: (2024)

Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches
par: Boisvert, Léo, et autres
Publié: (2024)

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models
par: Crespin, Augustin, et autres
Publié: (2025)

Towards Bound Consistency for the No-Overlap Constraint Using MDDs
par: Guichard, Amaury, et autres
Publié: (2026)

Approximation Fixpoint Theory with Refined Approximation Spaces
par: Vanbesien, Linde, et autres
Publié: (2025)

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
par: Jabs, Christoph, et autres
Publié: (2025)

Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning
par: Silvestri, Mattia, et autres
Publié: (2023)

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities
par: Mandi, Jayanta, et autres
Publié: (2023)

Hypergraph Neural Networks Accelerate MUS Enumeration
par: Ijima, Hiroya, et autres
Publié: (2026)

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
par: Ihalainen, Hannes, et autres
Publié: (2025)

OptiMUS-0.3: Using Large Language Models to Model and Solve Optimization Problems at Scale
par: AhmadiTeshnizi, Ali, et autres
Publié: (2024)

OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models
par: AhmadiTeshnizi, Ali, et autres
Publié: (2024)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
par: Anders, Markus, et autres
Publié: (2025)

Conformal Prediction for Dose-Response Models with Continuous Treatments
par: Verhaeghe, Jarne, et autres
Publié: (2024)

Symmetry-Aware Fully-Amortized Optimization with Scale Equivariant Graph Metanetworks
par: Kuipers, Bart, et autres
Publié: (2025)

ESP: Exploiting Symmetry Prior for Multi-Agent Reinforcement Learning
par: Yu, Xin, et autres
Publié: (2023)

Exploiting Boosting in Hyperdimensional Computing for Enhanced Reliability in Healthcare
par: Jeong, SungHeon, et autres
Publié: (2024)

Data Petri Nets meet Probabilistic Programming (Extended version)
par: Kuhn, Martin, et autres
Publié: (2024)

Lifted Model Construction without Normalisation: A Vectorised Approach to Exploit Symmetries in Factor Graphs
par: Luttermann, Malte, et autres
Publié: (2024)

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
par: Sonmez, Yasin, et autres
Publié: (2024)

Extending Token Computation for LLM Reasoning
par: Liao, Bingli, et autres
Publié: (2024)

The Stable Model Semantics for Higher-Order Logic Programming
par: Bogaerts, Bart, et autres
Publié: (2024)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
par: Vandesande, Dieter, et autres
Publié: (2025)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
par: Li, Ying, et autres
Publié: (2024)

APT-LLM: Exploiting Arbitrary-Precision Tensor Core Computing for LLM Acceleration
par: Ma, Shaobo, et autres
Publié: (2025)

Exploiting Heterogeneity in Timescales for Sparse Recurrent Spiking Neural Networks for Energy-Efficient Edge Computing
par: Chakraborty, Biswadeep, et autres
Publié: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
par: de Lima, Tiago, et autres
Publié: (2024)

Conceal, Reconstruct, Jailbreak: Exploiting the Reconstruction-Concealment Tradeoff in MLLMs
par: Reza, Md Farhamdur, et autres
Publié: (2026)

PACAD-Based Structural Reasoning for AGI: From Probabilistic Pattern-Matching to Verifiable Canonical Architectures – paper 1, version 2
par: Brown, Cameron
Publié: (2026)

Improving Matrix Completion by Exploiting Rating Ordinality in Graph Neural Networks
par: Lee, Jaehyun, et autres
Publié: (2024)