Jimmy Ho-Man Lee, Yuxiang Shi. Removing redundant conflict value assignments in resolvent based nogood learning. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 1133-1140, IFAAMAS/ACM, 2014. [doi]
Abstract is missing.