nomore++

swMATH21358MaRDI QIDQ33166FDOQ33166

Author name not available (Why is that?)

Described by source

• The nomore + + Approach to Answer Set Solving

Cited In (5)

• Semantics and complexity of recursive aggregates in answer set programming
• On the relation among answer set solvers
• Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2--6, 2005. Proceedings
• Conflict-driven answer set solving: from theory to practice
• Enhancing DLV instantiator by backjumping techniques

This page was built for software: nomore++