@inproceedings{rauzy1995polynomialsat,
author	=	{Antoine Rauzy},
title	=	{{P}olynomial restrictions of {SAT}: {W}hat can be done with an efficient implementation of the {D}avis and {P}utnam's procedure},
booktitle	=	{Proceedings of the International Conference on Principle of Constraint Programming, CP'95},
publisher	=	{Springer Verlag},
series	=	{LNCS},
volume	=	{976},
editor	=	{Ugo Montanari and Franscesca Rossi},
pages	=	{515--532},
year	=	{1995},
doi	=	{10.1007/3-540-60299-2-31},
abstractfile	=	{Rauzy1995-PolynomialRestrictionsOfSATWithDavisPutnamProcedure.html},
pdffile	=	{Rauzy1995-PolynomialRestrictionsOfSATWithDavisPutnamProcedure.pdf}
}