Sathiamoorthy Subbarayan. Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. In Paul Hudak, David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Volume 4902 of Lecture Notes in Computer Science, pages 53-67, Springer, 2008. [doi]
Abstract is missing.