@inproceedings{b479fe1dbdb14dbc90f3fe32c03972db,
title = "Search ordering heuristics for restarts-based constraint solving",
abstract = "Over the past decade impressive advances have been made in solving Constraint Satisfaction Problems by using of randomization and restarts. In this paper we propose a new class of variable and value ordering heuristics based on learning from nogoods without storing them. We show empirically that these heuristics dramatically improve the performance of restarts-based constraint solving.",
author = "Margarita Razgon and Barry O'Sullivan and Provan, \{Gregory M.\}",
year = "2007",
language = "English",
isbn = "1577353196",
series = "Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007",
pages = "182--183",
booktitle = "Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007",
note = "20th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007 ; Conference date: 07-05-2007 Through 09-05-2007",
}