Media type: E-Article Title: Artificial Intelligence and Neural Networks: HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems Contributor: Yumak, Zerrin; Yakhno, Tatyana imprint: Springer Berlin Heidelberg, 2006 Published in: Artificial Intelligence and Neural Networks Language: Not determined DOI: 10.1007/11803089_23 ISSN: 0302-9743; 1611-3349 Origination: Footnote: