Abscon 112 toward more robustness (2008)

by C Lecoutre, S Tabary
Venue:In Proceedings of the Third International CSP Solver Competition