Enumeration strategies to solve constraint satisfaction problems: Performance evaluation

Author

Soto, Ricardo ; Crawford, Broderick ; Olivares, Rodrigo ; Herrera, Rodrigo ; Johnson, Franklin ; Paredes, Fernando

Author_Institution

Pontificia Univ. Catolica de Valparaiso, Valparaiso, Chile

fYear

2015

fDate

17-20 June 2015

Firstpage

1

Lastpage

6

Abstract

In constraint programming, efficiency in the resolution process can be affected by the order in which the variables of the problem and the domain values are selected. This activity is known as enumeration. At the beginning, it is difficult to determine the best choice variable-value pair that can generate potential solutions for constraint satisfaction problems. In this paper, we present an evaluation of different enumeration strategies, based on performance exhibited in a set indicators. These strategies solve different instances of constraint problems satisfactions. The results show that it is feasible to solve constraint satisfaction with at least one strategy enumeration.

Keywords

constraint handling; constraint satisfaction problems; constraint programming; constraint satisfaction problems; enumeration strategies; resolution process; Performance evaluation; Programming; Reactive power; Runtime; Silicon; Silicon compounds; Software; constraint programming; constraint satisfaction problems; enumeration strategies; heuristic;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Systems and Technologies (CISTI), 2015 10th Iberian Conference on

Conference_Location

Aveiro

Type

conf

DOI

10.1109/CISTI.2015.7170511

Filename

7170511