Login / Signup
To every manifest domain a CSP expression - a rôle for mereology in computer science.
Dines Bjørner
Published in:
J. Log. Algebraic Methods Program. (2018)
Keyphrases
</>
computer science
domain specific
constraint satisfaction problems
data mining
artificial intelligence
constraint satisfaction
np complete
genetic algorithm
lower bound
expert systems
arc consistency