OptiLog: A Framework for SAT-based Systems.

Carlos Ansótegui Jesus Ojeda António Pacheco Josep Pon Josep M. Salvia Eduard Torres

Published in: SAT (2021)

Keyphrases

main contribution
expert systems
management system
real time
case study
distributed systems
logic programs
database
neural network
data mining
information retrieval
artificial intelligence
active learning
intelligent systems
knowledge based systems
heterogeneous systems