TY - GEN
T1 - A Framework to Simplify Usability Analysis of Constraint Solvers
AU - Crawford, Broderick
AU - Soto, Ricardo
AU - Johnson, Franklin
N1 - Publisher Copyright:
© 2018, Springer International Publishing AG, part of Springer Nature.
PY - 2018
Y1 - 2018
N2 - 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.
AB - 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.
KW - Constraint programming
KW - Constraint solvers
KW - Usability
UR - http://www.scopus.com/inward/record.url?scp=85050531152&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-91521-0_2
DO - 10.1007/978-3-319-91521-0_2
M3 - Conference contribution
AN - SCOPUS:85050531152
SN - 9783319915203
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 19
EP - 31
BT - Social Computing and Social Media. User Experience and Behavior - 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Proceedings
A2 - Meiselwitz, Gabriele
PB - Springer Verlag
T2 - 10th International Conference on Social Computing and Social Media, SCSM 2018 Held as Part of HCI International 2018
Y2 - 15 July 2018 through 20 July 2018
ER -