DEPICT: A High-level Formal Language for Modeling Constraint Satisfaction Problems
DEPICT： A High-level Formal Language for Modeling Constraint Satisfaction Problems

Keywords: Constraint satisfaction problems(CSPs)and languages,formal specifications,typed predicate calculus,language interpreter
CSPs,计算机语言,语言程序,计算机技术

Full-Text   Cite this paper   Add to My Lib

Abstract:

Full-Text