Łukasz Strąk

Answer Set Searching with Weighted MaxSAT

2025 · Procedia Computer Science

This paper proposes a new non-native solver for Answer Set Programming (ASP) named maxmodels. It is based on translating logic normal programs into weighted MaxSAT clauses. We checked our proposal’s computational efficiency in the series …