Title
A Framework to Simplify Usability Analysis of Constraint Solvers
Date Issued
01 January 2018
Access level
metadata only access
Resource Type
conference paper
Author(s)
Pontificia Universidad Católica de Valparaíso
Publisher(s)
Springer Verlag
Abstract
Currently, given the complexity of industrial problems, a powerful software is required to solve Constraint Satisfaction Problems. The constraint solvers are a kind of software that are based on a constraint approach. During the last years many constraint solvers have been created, some of them are intricate software and others are libraries to extend the features of a programming language. There are few efforts to have a framework that allows to compare a constraint system and less to allow the usability analysis of the solvers. In most cases, the users of these systems are more concerned about the number of enumeration and propagation strategies that can be used instead of the ease of use of constraint solvers. This paper presents a framework to compare and obtain a simple and objective analysis of the usability of these kind of systems. The paper shows that it is possible to establish comparison in terms of usability, allowing an analysis beyond the simple comparison of their internal strategies.
Start page
19
End page
31
Volume
10913 LNCS
Language
English
OCDE Knowledge area
Ciencias de la computación
Ingeniería de sistemas y comunicaciones
Subjects
Scopus EID
2-s2.0-85050531152
Source
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Resource of which it is part
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN of the container
03029743
ISBN of the container
978-331991520-3
Conference
10th International Conference on Social Computing and Social Media, SCSM 2018 Held as Part of HCI International 2018
Sources of information:
Directorio de Producción Científica
Scopus