Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation

Sökresultat

• Aktiv

  Next-generation Unsatisfiabillity-based Declarative Optimization

  Järvisalo, M. (Projektledare), Conati, A. F. (deltagare), Eskelinen, V. (deltagare), Feyzbakhsh Rankooh, M. (deltagare), Jabs, C. J. (deltagare) & Lehtonen, T. (deltagare)

  Finlands Akademi

  01/09/2023 → 31/08/2027

  Projekt: Finlands Akademi: Akademiprojektsbidrag

• Inkrementaalisia logiikkapohjaisia menetelmiä yli vaativuusluokan NP

  Niskanen, A. (Projektledare)

  Finlands Akademi

  01/09/2022 → 31/08/2025

  Projekt: Finlands Akademi: Forskardoktor