Gröbner Bases for Boolean Function Minimization - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Gröbner Bases for Boolean Function Minimization

Résumé

Boolean function minimization techniques try to find, for a given formula, a smaller equivalent formula. In this work, we present a novel technique for heuristic boolean function minimization. By using an algebraic encoding, we embed the minimization problem into an algebraic domain, where algorithms for computing Gröbner bases are applicable. A Gröbner basis usually forms a compact representation of our encoded function. From the Gröbner basis, we then reconstruct an equivalent, more compact boolean formula. Our approach is the first to use Gröbner bases for function minimization. Combined with advances of algebraic Gröbner bases in satisfiability checking, this motivates further research on applications of Gröbner bases in the context of boolean logic.
Fichier principal
Vignette du fichier
short4.pdf (1.21 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04315477 , version 1 (30-11-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04315477 , version 1

Citer

Nicolas Faroß, Simon Schwarz. Gröbner Bases for Boolean Function Minimization. Proceedings of the 8th SC-Square Workshop, Jul 2024, Tromsø, Norway. ⟨hal-04315477⟩
240 Consultations
35 Téléchargements

Partager

Gmail Facebook X LinkedIn More