This paper describes an algorithm that can be used to effectively solve polynomial constraints over finite domains. Such constraints are expressed in terms of inequalities of polynomials with integer coefficients whose variables are assumed to be defined over proper finite domains. The proposed algorithm first reduces each constraint to a canonical form, i.e., a specific form of inequality, then it uses the modified Bernstein form of resulting polynomials to incrementally restrict the domains of variables. No approximation is involved in the solving process because the coefficients of the modified Bernstein form of the considered type of polynomials are always integer numbers.

Polynomial constraint solving over finite domains with the modified Bernstein form / Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco. - 1645:(2016), pp. 118-131. (Intervento presentato al convegno 31st Italian Conference on Computational Logic (CILC 2016) tenutosi a ita nel 2016).

Polynomial constraint solving over finite domains with the modified Bernstein form

Bergenti Federico;Monica Stefania;
2016

Abstract

This paper describes an algorithm that can be used to effectively solve polynomial constraints over finite domains. Such constraints are expressed in terms of inequalities of polynomials with integer coefficients whose variables are assumed to be defined over proper finite domains. The proposed algorithm first reduces each constraint to a canonical form, i.e., a specific form of inequality, then it uses the modified Bernstein form of resulting polynomials to incrementally restrict the domains of variables. No approximation is involved in the solving process because the coefficients of the modified Bernstein form of the considered type of polynomials are always integer numbers.
2016
31st Italian Conference on Computational Logic (CILC 2016)
ita
2016
1645
118
131
Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco
Polynomial constraint solving over finite domains with the modified Bernstein form / Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco. - 1645:(2016), pp. 118-131. (Intervento presentato al convegno 31st Italian Conference on Computational Logic (CILC 2016) tenutosi a ita nel 2016).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
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

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