@conference{Wallace-applying,
author = "Richard Wallace and Eugene Freuder",
address = "Amsterdam",
booktitle = "Proceedings ECAI'94 Workshop on Constraint
                   Satisfaction Issues raised by Practical Applications",
editor = "Thomas Schiex and Christian Bessi{\`e}re",
month = "aug",
title = "{A}pplying {A}lgorithms for {C}onstraint {S}atisfaction to
                   {M}aximum {S}atisfiability",
year = "1994",
}