Formalizing Alexander duality through BDDs.

Jesús Aransay Laureano Lambán Julius Michaelis Julio Rubio

Published in: ISAIM (2022)

Keyphrases

heuristic search
linear programming
binary decision diagrams
knowledge compilation
timed automata
databases
genetic algorithm
learning algorithm
database systems
cooperative