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