 Roberto J. Bayardo Jr. and     <a href="http://www.cs.utexas.edu/users/miranker"> Daniel P. Miranker</a>.       <b> On the space-time       trade-off in solving constraint satisfaction problems.</b>      In <i> Proc. of the 14th Int'l Joint Conf. on       Artificial Intelligence,</i> 558-562, 1995.<p>
