Hugo Apeloig

dblp:418/4281 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Mathematical optimization · 70% Computational complexity · 23% Algorithms and data structures · 7%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational complexity › constraint satisfaction › constraint propagation
arc consistency
0.912025
Arc-consistency with linear programming reduced costs (applied to stable set in chordal graphs) · Artif. Intell. 2025
Mathematical optimization
constraint programming
0.912025
Arc-consistency with linear programming reduced costs (applied to stable set in chordal graphs) · Artif. Intell. 2025
Mathematical optimization
discrete optimization
0.912025
Arc-consistency with linear programming reduced costs (applied to stable set in chordal graphs) · Artif. Intell. 2025
Mathematical optimization
integer programming
0.912025
Arc-consistency with linear programming reduced costs (applied to stable set in chordal graphs) · Artif. Intell. 2025

Methods — techniques the papers use, named apart from their topics

reduced cost strengthening · 0.9linear programming relaxation · 0.9dual solution · 0.9
YearPublicationVenuePosition
2025 Arc-consistency with linear programming reduced costs (applied to stable set in chordal graphs)
abstract
A well known technique to reduce the search space in integer programming is known as variable fixing or reduced cost strengthening . The reduced costs given by an optimal dual solution of the linear relaxation can be used to strengthen the bounds of the variables but this filtering is incomplete. We show how reduced costs can be used to achieve Arc-Consistency (AC), i.e. a complete filtering, of a global constraint with a cost variable and an assignment cost for each value. We assume that an ideal Integer Linear Programming (ILP) formulation is available i.e. the convex hull of the characteristic vectors of the supports is known. A detailed analysis of reduced cost based filtering is proposed. We characterize arc-consistency based on complementary slackness i.e. completeness of reasoning as opposed to only optimality. We also give a simple sufficient condition allowing a set of dual solutions to ensure arc-consistency through reduced costs. In practice, when the constraint has a such an ideal ILP, n dual solutions are always enough to achieve AC (where n is the number of variables of the global constraint). It extends the work presented in [26] for satisfaction problems and in [17] for the specific case of the minimum weighted alldifferent constraint. Our analysis is illustrated on constraints related to the assignment and shortest path problem and also demonstrated on the weighted stable set problem in chordal graphs. A novel AC algorithm is proposed in this latter case based on reduced costs.
Guillaume Claus, Hadrien Cambazard, Hugo Apeloig, Pierre Hoppenot
Artif. Intell.3