@InProceedings{LeeSchulteEa:AAAI:2016,
Author = "Jimmy Ho Man Lee and Christian Schulte and Zichen Zhu",
Title = "Increasing Nogoods in Restart-Based Search",
Editor = "Dale Schuurmans and Michael Wellman",
Booktitle = "AAAI Conference on Artificial Intelligence",
Year = 2016,
Month = feb,
Address = "Phoenix, AZ, USA",
Publisher = "AAAI Press",
Pages = "3426--3433",
URL = "https://chschulte.github.io/papers/leeschulteea-aaai-2016.html"
}