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. - ELETTRONICO. - 1645:(2016), pp. 118-131. (Intervento presentato al convegno 31st Italian Conference on Computational Logic (CILC 2016) tenutosi a Milano nel 2016).

Polynomial constraint solving over finite domains with the modified Bernstein form

BERGENTI, Federico;MONICA, Stefania;ROSSI, Gianfranco
2016-01-01

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
Polynomial constraint solving over finite domains with the modified Bernstein form / Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco. - ELETTRONICO. - 1645:(2016), pp. 118-131. (Intervento presentato al convegno 31st Italian Conference on Computational Logic (CILC 2016) tenutosi a Milano nel 2016).
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/2818449
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact