Twin-Treewidth: A Single-Exponential Logic-Based Approach.

Maurício Pires Uéverton S. Souza Bruno Lopes

Published in: COCOA (2) (2023)

Keyphrases

upper bound
search space
logic programming
database systems
expert systems
database
real time
neural network
machine learning
artificial intelligence
multi valued