BDDmeter - Uma Ferramenta para Visualização Dinâmica de BDDs.

Sérgio Queiroz de Medeiros David Déharbe

Published in: SBES (2001)

Keyphrases

binary decision diagrams
heuristic search
timed automata
knowledge compilation
artificial intelligence
decision diagrams
set bounds propagation
database systems
multi agent
domain specific
logic programs
logic programming
boolean functions