@conference{Bayardo95,
author = "Roberto Bayardo and Daniel Miranker",
address = "ijcai95l",
booktitle = "ijcai95p",
pages = "558-562",
title = "{O}n the {S}pace-{T}ime {T}rade-off in {S}olving {C}onstraint
                   {S}atisfaction {P}roblems",
year = "1995",
}