Affiliation:

University of Helsinki

SAT-based ASP Solving and Optimization via a General Transitive Closure Framework

Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach

Scuttle: A System for Multi-Objective MaxSAT

HitPBO: An Implicit Hitting Set Solver for Pseudo-Boolean Optimization