Corso di Laurea Magistrale in Informatica WASP: A New Model Generator Relatori:

Anyone who has never made a mistake has never tried anything new. A. Einstein Dedicated to my parents, Mario and Tina, to my sisters, Giulia and Rita and to my grandmother Rita. We present a new ASP solver called WASP for ground ASP programs, which builds upon related techniques originally introduced for SAT solving and that have been extended to cope with disjunctive logic programs under the stable model semantics. We describe the key components of this solving strat-egy, namely learning, restarts, look-back-based heuristics, and backjumping. Moreover, we introduce a new heuristic based on a mixed approach between look-back and look-ahead techniques. Moreover, we present the results of an experimental analysis that we conducted in order to assess the impact of these techniques on both random and structured instances. In particular, we compared our system with the state-of-the-art ASP systems DLV an