SAT-based Judgment Aggregation. - Ari Conati; Andreas Niskanen; Matti Järvisalo (AAMAS, 2023)

Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation. - Ari Conati; Andreas Niskanen; Ronald de Haan; Matti Järvisalo (ECAI, 2024)

Declarative Approaches to Outcome Determination in Judgment Aggregation. - Ari Conati; Andreas Niskanen; Matti Järvisalo (J. Artif. Intell. Res., 2024)

Collective Decision Making via Automated Reasoning. - Ari Conati (AAMAS, 2025)

Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT. - Ari Conati; Andreas Niskanen; Ronald de Haan; Matti Järvisalo (AAMAS, 2025)