"Increasing Nogoods in Restart-Based Search."

Jimmy H. M. Lee, Christian Schulte, Zichen Zhu (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics