Cover Image

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jabs, Christoph, Berg, Jeremias, Bogaerts, Bart, Järvisalo, Matti
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Certified MaxSAT Preprocessing
by: Ihalainen, Hannes, et al.
Published: (2024)

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

Symmetry breaking for inductive logic programming
by: Cropper, Andrew, et al.
Published: (2025)

Global Benchmark Database
by: Iser, Ashlin, et al.
Published: (2024)

UC-MOA: Utility-Conditioned Multi-Objective Alignment for Distributional Pareto-Optimality
by: Cheng, Zelei, et al.
Published: (2025)

Integer Linear Programming Preprocessing for Maximum Satisfiability
by: Zhang, Jialu, et al.
Published: (2025)

AI-SearchPlanner: Modular Agentic Search via Pareto-Optimal Multi-Objective Reinforcement Learning
by: Mei, Lang, et al.
Published: (2025)

Learning big logical rules by joining small rules
by: Hocquette, Céline, et al.
Published: (2024)

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

Exploiting Symmetries in MUS Computation (Extended version)
by: Bleukx, Ignace, et al.
Published: (2024)

Pareto Multi-Objective Alignment for Language Models
by: He, Qiang, et al.
Published: (2025)

Pareto-Conditioned Diffusion Models for Offline Multi-Objective Optimization
by: Shrestha, Jatan, et al.
Published: (2026)

Pareto Front-Diverse Batch Multi-Objective Bayesian Optimization
by: Ahmadianshalchi, Alaleh, et al.
Published: (2024)

Certified Robustness against Sparse Adversarial Perturbations via Data Localization
by: Pal, Ambar, et al.
Published: (2024)

torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
by: Hosny, Abdelrahman, et al.
Published: (2024)

ParetoFlow: Guided Flows in Multi-Objective Optimization
by: Yuan, Ye, et al.
Published: (2024)

POMONAG: Pareto-Optimal Many-Objective Neural Architecture Generator
by: Lomurno, Eugenio, et al.
Published: (2024)

Learning Pareto Set for Multi-Objective Continuous Robot Control
by: Shu, Tianye, et al.
Published: (2024)

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

Learning Pareto-Optimal Rewards from Noisy Preferences: A Framework for Multi-Objective Inverse Reinforcement Learning
by: Cherukuri, Kalyan, et al.
Published: (2025)

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

Pareto Front Approximation for Multi-Objective Session-Based Recommender Systems
by: Wilm, Timo, et al.
Published: (2024)

Pareto-NRPA: A Novel Monte-Carlo Search Algorithm for Multi-Objective Optimization
by: Lallouet, Noé, et al.
Published: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
by: Orvalho, Pedro, et al.
Published: (2026)

Moments Matter:Stabilizing Policy Optimization using Return Distributions
by: Jabs, Dennis, et al.
Published: (2026)

Multi-Agent Reasoning Improves Compute Efficiency: Pareto-Optimal Test-Time Scaling
by: Wunderlich, Florian Valentin, et al.
Published: (2026)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
by: Li, Jinzhao, et al.
Published: (2026)

syftr: Pareto-Optimal Generative AI
by: Conway, Alexander, et al.
Published: (2025)

Pareto Optimal Algorithmic Recourse in Multi-cost Function
by: Chen, Wen-Ling, et al.
Published: (2025)

PA2D-MORL: Pareto Ascent Directional Decomposition based Multi-Objective Reinforcement Learning
by: Hu, Tianmeng, et al.
Published: (2026)

Do We Really Need to Approach the Entire Pareto Front in Many-Objective Bayesian Optimisation?
by: Jiang, Chao, et al.
Published: (2026)

Large Language Models as Amortized Pareto-Front Generators for Constrained Bi-Objective Convex Optimization
by: Xu, Peipei, et al.
Published: (2026)

Sliding Window 3-Objective Pareto Optimization for Problems with Chance Constraints
by: Neumann, Frank, et al.
Published: (2024)

Domain Generalization via Pareto Optimal Gradient Matching
by: Do, Khoi, et al.
Published: (2025)

Pareto-Optimal Learning from Preferences with Hidden Context
by: Bahlous-Boldi, Ryan, et al.
Published: (2024)

Pareto-Grid-Guided Large Language Models for Fast and High-Quality Heuristics Design in Multi-Objective Combinatorial Optimization
by: Ha, Minh Hieu, et al.
Published: (2025)

One Search Fits All: Pareto-Optimal Eco-Friendly Model Selection
by: Betello, Filippo, et al.
Published: (2025)

From Feasible to Practical: Pareto-Optimal Synthesis Planning
by: Hastedt, Friedrich, et al.
Published: (2026)

Pareto Optimal Benchmarking of AI Models on ARM Cortex Processors for Sustainable Embedded Systems
by: Jain, Pranay, et al.
Published: (2026)