Toby Walsh. Reformulating Propositional Satisfiability as Constraint Satisfaction. In Berthe Y. Choueiry, Toby Walsh, editors, Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings. Volume 1864 of Lecture Notes in Computer Science, pages 233-246, Springer, 2000. [doi]
Abstract is missing.