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]

Constraint Logic Programming with Polynomial Constraints over Finite Domains

BERGENTI Federico;MONICA Stefania;ROSSI Gianfranco
2018-01-01

Abstract

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.
2018
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]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11381/2839912
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 1
social impact