This paper introduces an instantiation of the constraint logic programming scheme called CLP(PolyFD) in which variables take values from finite subsets of the integers and constraints are expressed as equalities, inequalities, and disequalities of polynomials with integer coefficients. Such constraints, which we call polynomial constraints over finite domains, can be treated effectively by means of a specific solver under the assumption that initial approximations of the domains of variables are available. The proposed solver deals with constraints in a canonical form and it uses the modified Bernstein form of polynomials to detect the satisfiability of constraints. The solver is complete and a preliminary assessment of its performance is reported.
Constraint Logic Programming with Polynomial Constraints over Finite Domains / Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 161:1-2(2018), pp. 9-27. [10.3233/FI-2018-1693]
Data di pubblicazione: | 2018 | |
Titolo: | Constraint Logic Programming with Polynomial Constraints over Finite Domains | |
Autore/i: | Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco | |
Autore/i UNIMORE: | ||
Digital Object Identifier (DOI): | http://dx.doi.org/10.3233/FI-2018-1693 | |
Rivista: | ||
Volume: | 161 | |
Fascicolo: | 1-2 | |
Pagina iniziale: | 9 | |
Pagina finale: | 27 | |
Codice identificativo ISI: | WOS:000437260800003 | |
Codice identificativo Scopus: | 2-s2.0-85049672190 | |
Citazione: | Constraint Logic Programming with Polynomial Constraints over Finite Domains / Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 161:1-2(2018), pp. 9-27. [10.3233/FI-2018-1693] | |
Tipologia | Articolo su rivista |
File in questo prodotto:
File | Descrizione | Tipologia | |
---|---|---|---|
Bergenti-Rossi.pdf | N/A | Administrator Richiedi una copia |
Pubblicazioni consigliate

I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris