Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique.

Tolga Ayav Fevzi Belli

Published in: QRS Companion (2015)

Keyphrases

directed graph
real valued
graph structure
random walk
graph based algorithm
structured data
boolean functions
bipartite graph
graph theory
graph model
spanning tree
graph representation
stable set
real time
adjacency matrix
graph databases
directed acyclic graph
graph matching
pairwise
lower bound