Papers in proceedings

• Luís Baptista and Francisco Azevedo, Using nogoods information from restarts in domain-splitting search, in: Thibaut Feydy and Geoffrey Chu (eds), Proceedings of Nogood Learning and Constraint Programming Workshop (NGL 2012), Pag. 9 pages, 2012.
• Luís Baptista and Francisco Azevedo, A heuristic based on domain-splitting nogoods from restarts, Proceedings of the Second International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2012), Pag. 10 pages, 2012.