PPaperPicks

Andreas Niskanen

8 papers at tracked venues · 1 at CORE A* · active 20242026

Venues

Frequent coauthors

Papers

  1. Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games
  2. Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT
  3. Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
    KR 2025 ·
    Masood Feyzbakhsh Rankooh
  4. Reasoning in Assumption-Based Argumentation via SAT
    KR 2025 · Andreas Niskanen
  5. Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation
  6. Learning Big Logical Rules by Joining Small Rules
  7. Learning MDL Logic Programs from Noisy Data
  8. SAT-Based Approaches to Reasoning in Choice Logics