Using Multi-valued Decision Diagrams to Solve the Expected Hop Count Problem.

Johannes Ulrich Herrmann, Sieteng Soh, Geoff A. W. West, Suresh Rai

Browse the full AINA paper archive.