Copertina

Exploiting Symmetries in MUS Computation (Extended version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bleukx, Ignace, Verhaeghe, Hélène, Bogaerts, Bart, Guns, Tias
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

Generalizing Constraint Models in Constraint Acquisition
di: Tsouros, Dimos, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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