On Simplifying Expressions with Mixed Boolean-Arithmetic
From MaRDI portal
Publication:6057724
DOI10.18255/1818-1015-2023-2-140-159OpenAlexW4380628265MaRDI QIDQ6057724FDOQ6057724
Publication date: 5 October 2023
Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)
Full work available at URL: http://mathnet.ru/eng/mais795
Cites Work
This page was built for publication: On Simplifying Expressions with Mixed Boolean-Arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6057724)