Boolean-arithmetic equations: acquisition and uses

DOI10.1007/978-3-031-33271-5_25MaRDI QIDQ6080985zbMATH OpenOpenAlexFDO

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

• scientific article; zbMATH DE number 2080298 (Why is no real title available?)
• scientific article; zbMATH DE number 2084705 (Why is no real title available?)
• Automated conjecturing. III. Property-relations conjectures
• Learning functions of \(k\) relevant variables
• Principles and Practice of Constraint Programming – CP 2004
• Selection of relevant features and examples in machine learning

Cited in

(3)

• Understanding one another: making out meanings with Boolean equations
• scientific article; zbMATH DE number 6405037 (Why is no real title available?)
• scientific article; zbMATH DE number 4006315 (Why is no real title available?)

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)