Similar to VMT

ABS - Absolute
AC - Axiom of Choice
AC - Arc Consistency
AC - Assumption Context
AC - 'A' Complement
AC - Added Constraint
ACA - Arithmetic Comprehension Axiom

View all in Mathematics