TY  - JOUR
AU  - Bayardo, Roberto
AU  - Miranker, Daniel
PY  - 1995//
TI  - On the Space-Time Trade-off in Solving Constraint Satisfaction Problems
SP  - 558
EP  - 562
CY  - ijcai95l
ID  - Bayardo95
ER  -