Luisa Montanari

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Prime Implicates

Top Venues

Arch. Formal Proofs

Publications

Benjamin Bisping, Luisa Montanari
Characterizing contrasimilarity through games, modal logic, and complexity. Inf. Comput. 300 (2024)
Luisa Montanari, Ulrike Schmidt-Kraepelin, Warut Suksompong, Nicholas Teh
Weighted Envy-Freeness for Submodular Valuations. AAAI (2024)
Benjamin Bisping, Luisa Montanari
Coupled Similarity and Contrasimilarity, and How to Compute Them. Arch. Formal Proofs 2023 (2023)
Luisa Montanari, Ulrike Schmidt-Kraepelin, Warut Suksompong, Nicholas Teh
Weighted Envy-Freeness for Submodular Valuations. CoRR (2022)
Benjamin Bisping, Luisa Montanari
A Game Characterization for Contrasimilarity. EXPRESS/SOS (2021)