Login / Signup
Methods of searching lattice structure and their applications to constraint satisfaction problems.
Hidehiro Shimizu
Ikuo Tahara
Published in:
Systems and Computers in Japan (1994)
Keyphrases
</>
constraint satisfaction problems
constraint satisfaction
constraint programming
decomposition methods
np hard
lattice structure
special case
query language
multi dimensional
np complete
constraint propagation
constraint solving
graph based representations