Boolean-arithmetic equations: acquisition and uses

DOI10.1007/978-3-031-33271-5_25OpenAlexW4377249682MaRDI QIDQ6080985FDOQ6080985

Authors: Ramiz Vilevich Gindullin, Nicolas Beldiceanu, J. Cheukam Ngouonou, Rémi Douence, Claude-Guy Quimper 

Publication date: 4 October 2023

Published in: Integration of Constraint Programming, Artificial Intelligence, and Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-33271-5_25

zbMATH Keywords

boundsequation discoveryBoolean-arithmetic equation

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27) Operations research and management science (90Bxx)

Cites Work

• Selection of relevant features and examples in machine learning
• Learning functions of \(k\) relevant variables
• Title not available (Why is that?)
• Principles and Practice of Constraint Programming – CP 2004
• Title not available (Why is that?)
• Automated conjecturing. III. Property-relations conjectures

Cited In (3)

• Understanding one another: making out meanings with Boolean equations
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Boolean-arithmetic equations: acquisition and uses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6080985)