Sperner's theorem with constraints.

Published in: Discret. Math. (1974)

Keyphrases

constraint satisfaction
constraint solving
multiple constraints
database
real time
databases
search algorithm
real world
information systems
decision making
geometric constraints
constraint networks