Gabriel Mattos Langeloh

dblp:276/1940 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2026
0009-0005-9533-6301ORCID · corroborated

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

Theory of computation · 2 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2026 Integer programming with binary and bounded variables via Gröbner bases with applications to multiobjective integer programming
Gabriel Mattos Langeloh
J. Symb. Comput.1
2024 Exploring the Geometric Buchberger Algorithm in Integer Programming
abstract
The Geometric Buchberger algorithm is a specialization of the classical Buchberger algorithm to the case of toric ideals, with applications in the solution of families of integer programming problems. In this paper, we investigate the performance of the Geometric Buchberger algorithm in a variety of combinatorial optimization problems with both integer and binary variables, introducing algorithmic improvements for the latter case in the form of an efficient criterion for detecting S-binomials that can be truncated away. Our experiments show that our implementation, available in the package IPGBs.jl, computes Gröbner bases for toric ideals of combinatorial optimization problems more efficiently than the previous state-of-the-art.
Gabriel Mattos Langeloh
ISSAC1