{"id":"2507.22774","title":"ASP-FZN: A Translation-based Constraint Answer Set Solver","url":"https://codeofpaper.com/paper/2507.22774","arxiv_url":"https://arxiv.org/abs/2507.22774","published":"2025-07-30","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}