OptiRica: Towards an Efficient Optimizing Horn Solver.

Hossein Hojjat Philipp Rümmer

Published in: HCVS/VPT@ETAPS (2022)

Keyphrases

information retrieval
np hard
real time
data sets
databases
neural network
genetic algorithm
multiscale
multi agent
search algorithm
propositional logic