Re:Modern SAT solvers: fast, neat and underused (2018)
by qorrect on Saturday May 27, 2023 @06:24PM
(#36098999)
What problem did you solve with ASP ? I'd like to learn more on them , but I struggle with what problem to start with.
[ Parent
| on HN ]
Re:Modern SAT solvers: fast, neat and underused (2018)
by weavermarquez on Monday May 29, 2023 @05:21PM
(#36118253)
The "Easy ASP" [0] tutorial from Potassco can walk you through some examples, if you'd like.
The playlist is aimed at a general scientific/business audience, the presenter suggests that a lot of natural and business systems can be described in this manner. The presenter also mentions how a Clingo program was used, without modification, to optimize radio frequency band allocation.
Here's a repository [1] of ASP programs in clingo. Under problem classes, I see mostly: game AIs, graph problems, various puzzles, so on.
[0] https://www.youtube.com/playlist?list=PL7DBaibuDD9O4I05DiQfi...