HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems

Zerrin Yumak, Tatyana M. Yakhno. HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems. In F. Acar Savaci, editor, Artificial Intelligence and Neural Networks, 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers. Volume 3949 of Lecture Notes in Computer Science, pages 194-202, Springer, 2005. [doi]

Abstract

Abstract is missing.