Conflict-Driven Answer Set Solving

By Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. International Joint Conference on Artificial Intelligence, 2007

395 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/99aa7179f7c6012bf266832bcf64f6d820ad88fb

Citations in the corpus

• Conflict-driven answer set solving: From theory to practice (2012, methodology): “Our approach to conflict-driven ASP solving is implemented in clasp [54,52,56], combining the high-level modeling capacities of ASP with state-of-the-art Boolean constraint solving techniques.”
• Potassco: The Potsdam Answer Set Solving Collection (2011, unknown): “…system [95], followed by dlv [75], SAT-based ASP solvers, like assat [80] and cmodels [61], and the conflict-driven learning ASP solver clasp [48], demonstrating the performance and versatility of ASP solvers by winning first places at international competitions like ASP’09, PB’09 and SAT’09.”