Verifying Sierpiński and Riesel Numbers in ACL2
Vertical representation of C{\infty}-words
Vertices Belonging to All Critical Independent Sets of a Graph
Very Well-Covered Graphs of Girth at least Four and Local Maximum Stable Set Greedoids
Violator Spaces: Structure and Algorithms
Visualizing Graphs with Node and Edge Labels
Voting with Limited Information and Many Alternatives