Definable Operators on Stable Set Lattices.

Robert Goldblatt

Published in: Stud Logica (2020)

Keyphrases

stable set
maximum matching
genetic algorithm
relational databases
first order logic
objective function
data structure
search algorithm
search space
knowledge representation
expressive power
constraint satisfaction
morphological operators
cnf formula