Cover Image

Exploiting Symmetries in MUS Computation (Extended version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bleukx, Ignace, Verhaeghe, Hélène, Bogaerts, Bart, Guns, Tias
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using Certifying Constraint Solvers for Generating Step-wise Explanations
by: Bleukx, Ignace, et al.
Published: (2025)

Trustworthy and Explainable Decision-Making for Workforce allocation
by: Povéda, Guillaume, et al.
Published: (2024)

Preference Elicitation for Step-Wise Explanations in Logic Puzzles
by: Foschini, Marco, et al.
Published: (2025)

DCP-Bench-Open: Evaluating LLMs for Constraint Modelling of Discrete Combinatorial Problems
by: Michailidis, Kostis, et al.
Published: (2025)

Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation
by: Defresne, Marianne, et al.
Published: (2025)

Generalizing Constraint Models in Constraint Acquisition
by: Tsouros, Dimos, et al.
Published: (2024)

Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
by: Mandi, Jayanta, et al.
Published: (2025)

A Divide-Align-Conquer Strategy for Program Synthesis
by: Witt, Jonas, et al.
Published: (2023)

Solver-Free Decision-Focused Learning for Linear Optimization Problems
by: Berden, Senne, et al.
Published: (2025)

Minimizing Surrogate Losses for Decision-Focused Learning using Differentiable Optimization
by: Mandi, Jayanta, et al.
Published: (2025)

Decision-Focused Learning to Predict Action Costs for Planning
by: Mandi, Jayanta, et al.
Published: (2024)

Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches
by: Boisvert, Léo, et al.
Published: (2024)

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models
by: Crespin, Augustin, et al.
Published: (2025)

Towards Bound Consistency for the No-Overlap Constraint Using MDDs
by: Guichard, Amaury, et al.
Published: (2026)

Approximation Fixpoint Theory with Refined Approximation Spaces
by: Vanbesien, Linde, et al.
Published: (2025)

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
by: Jabs, Christoph, et al.
Published: (2025)

Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning
by: Silvestri, Mattia, et al.
Published: (2023)

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities
by: Mandi, Jayanta, et al.
Published: (2023)

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

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
by: Ihalainen, Hannes, et al.
Published: (2025)

OptiMUS-0.3: Using Large Language Models to Model and Solve Optimization Problems at Scale
by: AhmadiTeshnizi, Ali, et al.
Published: (2024)

OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models
by: AhmadiTeshnizi, Ali, et al.
Published: (2024)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
by: Anders, Markus, et al.
Published: (2025)

Conformal Prediction for Dose-Response Models with Continuous Treatments
by: Verhaeghe, Jarne, et al.
Published: (2024)

Symmetry-Aware Fully-Amortized Optimization with Scale Equivariant Graph Metanetworks
by: Kuipers, Bart, et al.
Published: (2025)

ESP: Exploiting Symmetry Prior for Multi-Agent Reinforcement Learning
by: Yu, Xin, et al.
Published: (2023)

Exploiting Boosting in Hyperdimensional Computing for Enhanced Reliability in Healthcare
by: Jeong, SungHeon, et al.
Published: (2024)

Data Petri Nets meet Probabilistic Programming (Extended version)
by: Kuhn, Martin, et al.
Published: (2024)

Lifted Model Construction without Normalisation: A Vectorised Approach to Exploit Symmetries in Factor Graphs
by: Luttermann, Malte, et al.
Published: (2024)

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
by: Sonmez, Yasin, et al.
Published: (2024)

Extending Token Computation for LLM Reasoning
by: Liao, Bingli, et al.
Published: (2024)

The Stable Model Semantics for Higher-Order Logic Programming
by: Bogaerts, Bart, et al.
Published: (2024)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
by: Vandesande, Dieter, et al.
Published: (2025)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
by: Li, Ying, et al.
Published: (2024)

APT-LLM: Exploiting Arbitrary-Precision Tensor Core Computing for LLM Acceleration
by: Ma, Shaobo, et al.
Published: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
by: de Lima, Tiago, et al.
Published: (2024)

Exploiting Heterogeneity in Timescales for Sparse Recurrent Spiking Neural Networks for Energy-Efficient Edge Computing
by: Chakraborty, Biswadeep, et al.
Published: (2024)

Conceal, Reconstruct, Jailbreak: Exploiting the Reconstruction-Concealment Tradeoff in MLLMs
by: Reza, Md Farhamdur, et al.
Published: (2026)

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

Improving Matrix Completion by Exploiting Rating Ordinality in Graph Neural Networks
by: Lee, Jaehyun, et al.
Published: (2024)