DEPICT: A High-level Formal Language for Modeling Constraint Satisfaction Problems
Abbas, Abdulwahed M. ; Tsang, Edward P. K. ; Nasri, Ahmad H.
International journal of automation and computing, 2008-04, Vol.5 (2), p.208-216 [Periódico revisado por pares]Heidelberg: Institute of Automation, Chinese Academy of Sciences
Texto completo disponível