A Framework to Simplify Usability Analysis of Constraint Solvers

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationSocial Computing and Social Media. User Experience and Behavior - 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Proceedings
EditorsGabriele Meiselwitz
PublisherSpringer Verlag
Pages19-31
Number of pages13
ISBN (Print)9783319915203
DOIs
StatePublished - 1 Jan 2018
Event10th International Conference on Social Computing and Social Media, SCSM 2018 Held as Part of HCI International 2018 - Las Vegas, United States
Duration: 15 Jul 201820 Jul 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10913 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Conference on Social Computing and Social Media, SCSM 2018 Held as Part of HCI International 2018
CountryUnited States
CityLas Vegas
Period15/07/1820/07/18

Keywords

  • Constraint programming
  • Constraint solvers
  • Usability

Fingerprint Dive into the research topics of 'A Framework to Simplify Usability Analysis of Constraint Solvers'. Together they form a unique fingerprint.

Cite this