Boolean-Arithmetic Equations: Acquisition and Uses - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Boolean-Arithmetic Equations: Acquisition and Uses

Résumé

Motivated by identifying equations to automate the discovery of conjectures about sharp bounds on combinatorial objects, we introduce a CP model to acquire Boolean-arithmetic equations (BAE) from a table providing sharp bounds for various combinations of parameters. Boolean-arithmetic expressions consist of simple arithmetic conditions (SAC) connected by a single commutative operator such as ‘∧’, ‘∨’, ‘⊕’ or ‘+’. Each SAC can use up to three variables, two coefficients, and an arithmetic function such as ‘+’, ‘−’, ‘×’, ‘floor’, ‘mod’ or ‘min’. We enhance our CP model in the following way to limit the search space: (i) We break the symmetries linked to multiple instances of similar SACs in the same expression. (ii) We prevent the creation of SAC that could be simplified away. We identify several use cases of our CP model for acquiring BAE and show its applicability for learning sharp bounds for eight types of combinatorial objects as digraphs, forests, and partitions.
Fichier principal
Vignette du fichier
CPAIOR_2023.pdf (467.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04460561 , version 1 (15-02-2024)

Licence

Paternité

Identifiants

Citer

R Gindullin, Nicolas Beldiceanu, Jovial Cheukam Ngouonou, Rémi Douence, Claude-Guy Quimper. Boolean-Arithmetic Equations: Acquisition and Uses. CPAIOR 2023 - 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, May 2023, Nice, France. pp.378-394, ⟨10.1007/978-3-031-33271-5_25⟩. ⟨hal-04460561⟩
18 Consultations
5 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More