VLDB 2026 Research / reviewers in the wild / expert
Gabriel Mattos Langeloh
dblp:276/1940
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 ProgrammingabstractThe 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 |
ISSAC | 1 |