Picture for Mirek Truszczynski

Mirek Truszczynski

Quantifying over Optimum Answer Sets

Add code
Aug 14, 2024
Viaarxiv icon

Beyond NP: Quantifying over Answer Sets

Add code
Jul 22, 2019
Viaarxiv icon