Carla Michini

dblp:13/6980 · DBLP profile ↗
← Back
10ranked-venue papers
2as first author
7since 2021 · last 2025
0000-0002-4717-816XORCID · verified

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

Theory of computation · 5 · 2 first-author · 3 since 2021Applied, interdisciplinary, general and emerging computing · 3 · 3 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2 · 1 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021
YearPublicationVenuePosition
2025 Integer-Splittable Bin Packing Games
Bainian Hao, Carla Michini
WINE2
2024 Price of Anarchy in Paving Matroid Congestion Games
Bainian Hao, Carla Michini
SAGT2
2024 A Set-Covering Approach to Customized Coverage Instrumentation
Carla Michini, Peter Ohmann, Ben Liblit, Jeff T. Linderoth
INFORMS J. Comput.1
2022 Shattering Inequalities for Learning Optimal Decision Trees
Justin J. Boutilier, Carla Michini, Zachary Zhou
CPAIOR2
2022 Inefficiency of Pure Nash Equilibria in Series-Parallel Network Congestion Games
Bainian Hao, Carla Michini
WINE2
2022 Short Simplex Paths in Lattice Polytopes
Alberto Del Pia, Carla Michini
Discret. Comput. Geom.2
2021 Tight Cycle Relaxations for the Cut Polytope
abstract
We study the problem of optimizing an arbitrary weight function $w^Tz$ over the metric polytope of a graph $G=(V,E)$, a well-known relaxation of the cut polytope. We define the signed graph $(G, E^-)$, where $E^-$ consists of the edges of $G$ having negative weight. We characterize the sign patterns of the weight vector $w$ such that all optimal vertices of the metric polytope are integral, and we show that they correspond to signed graphs with no odd-$K_5$ minor. Our result has significant implications for unconstrained zero-one quadratic programming problems. We relate the strength of the cycle relaxation of the boolean quadric polytope to the sign pattern of the objective function. In this case, the sign patterns such that all optimal vertices of the cycle relaxation are integral correspond to signed graphs with no odd-$K_4$ minor.
Carla Michini
SIAM J. Discret. Math.1
2017 Totally Unimodular Congestion Games
abstract
We investigate new class of congestion games, called Totally Unimodular (TU) Congestion Games, where the players’ strategies are binary vectors inside polyhedra defined by totally unimodular constraint matrices. Network congestion games belong to this class. In the symmetric case, when all players have the same strategy set, we design an algorithm that finds an optimal aggregated strategy and then decomposes it into the single players’ strategies. This approach yields strongly polynomial-time algorithms to (i) find a pure Nash equilibrium, and (ii) compute a socially optimal state, if the delay functions are weakly convex. We also show how this technique can be extended to matroid congestion games. We then introduce some combinatorial TU congestion games, where the players'strategies are matchings, vertex covers, edge covers, and stable sets of a given bipartite graph. In the asymmetric case, we show that for these games (i) it is PLS-complete to find a pure Nash equilibrium even in case of linear delay functions, and (ii) it is NP-hard to compute a socially optimal state, even in case of weakly convex delay functions.
Alberto Del Pia, Michael C. Ferris, Carla Michini
SODA3
2016 On the Diameter of Lattice Polytopes
Alberto Del Pia, Carla Michini
Discret. Comput. Geom.2
2009 A Concept Lattice-Based Kernel for SVM Text Classification
Claudio Carpineto, Carla Michini, Raffaele Nicolussi
ICFCA2