CAV (DIMACS/AMS volume)