On the Existential Arithmetics with Addition and Bitwise Minimum.

Mikhail R. Starchak

Published in: FoSSaCS (2023)

Keyphrases

computer vision
information retrieval
information systems
decision making
knowledge base
image processing
feature extraction
multi objective
mobile robot
knowledge representation
simulated annealing
np complete
global minimum