@conference{Freuder93,
author = "Richard J. Wallace and Eugene C. Freuder",
address = "aaai93l",
booktitle = "aaai93p",
title = "{C}onjunctive {W}idth {H}euristics for {M}aximal {C}onstraint
                   {S}atisfaction",
year = "1993",
}