This paper discusses an algorithm to solve polynomial constraints over finite domains, namely constraints which are expressed in terms of equalities, inequalities and disequalities of polynomials with integer coefficients whose variables are associated with finite domains. The proposed algorithm starts with a preliminary step intended to rewrite all constraints to a canonical form. Then, the modified Bernstein form of obtained polynomials is used to recursively restrict the domains of variables, which are assumed to be initially approximated by a bounding box. The proposed algorithm proceeds by subdivisions, and it ensures that each variable is eventually associated with the inclusion maximal finite domain in which the set of constraints is satisfiable. If arbitrary precision integer arithmetic is available, no approximation is introduced in the solving process because the coefficients of the modified Bernstein form are integer numbers.
A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form / Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco. - 10037:(2016), pp. 179-191. [10.1007/978-3-319-49130-1_14]
Data di pubblicazione: | 2016 | |
Titolo: | A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form | |
Autore/i: | Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco | |
Autore/i UNIMORE: | ||
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-319-49130-1_14 | |
Codice identificativo Scopus: | 2-s2.0-85005950659 | |
Codice identificativo ISI: | WOS:000389797400014 | |
Titolo del libro: | AI*IA 2016 Advances in Artificial Intelligence | |
A cura di: | Giovanni Adorni Stefano Cagnoni Marco Gori Marco Maratea | |
ISBN: | 9783319491295 | |
Editore: | Springer International Publishing | |
Citazione: | A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form / Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco. - 10037:(2016), pp. 179-191. [10.1007/978-3-319-49130-1_14] | |
Tipologia | Capitolo/Saggio |
File in questo prodotto:
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