Semigrid Sets of Central Relations Over a Finite Domain.

Masahiro Miyakawa Akihiro Nozaki Grant Pogosyan Ivo G. Rosenberg

Published in: ISMVL (1992)

Keyphrases

finite domain
constraint programming
constraint satisfaction problems
constraint propagation
satisfiability problem
constraint logic programming
constraint solving
special case
database
knowledge base
background knowledge