A Counterexample Regarding Labelled Well-Quasi-Ordering.

Robert Brignall Michael Engen Vincent Vatter

Published in: Graphs Comb. (2018)

Keyphrases

model checking
partial order
genetic algorithm
data structure
formal verification
partial ordering