Boolean-Arithmetic Equations: Acquisition and Uses

von Gindullin, R.
Veröffentlicht in CPAIOR (20. : 2023 : Nizza) Integration of constraint programming, artificial intelligence, and operations research (2023)