Superposition with First-class Booleans and Inprocessing Clausification.

Visa Nummelin Alexander Bentkamp Sophie Tourret Petar Vukmirovic

Published in: CADE (2021)

Keyphrases

database
image processing
website
feature extraction
database systems
learning environment
lower bound
training set
multiresolution
class specific