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

Boolean-arithmetic equationboundsequation discovery

Mathematics Subject Classification ID

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

Cites work

• Automated conjecturing. III. Property-relations conjectures
• scientific article; zbMATH DE number 2080298 (Why is no real title available?)
• scientific article; zbMATH DE number 2084705 (Why is no real title available?)
• 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

(4)

• Understanding one another: making out meanings with Boolean equations
• scientific article; zbMATH DE number 4006315 (Why is no real title available?)
• scientific article; zbMATH DE number 6405037 (Why is no real title available?)
• Acquiring and selecting implied constraints with an application to the BinSeq and partition global constraints

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)