Printer friendly

What does AMUSE stand for?

AMUSE stands for A Minimally Unsatisfiable Subformula Extractor (mathematics)

This definition appears somewhat frequently and is found in the following Acronym Finder categories:

  • Science, medicine, engineering, etc.

See other definitions of AMUSE

Other Resources:
We have 1 other meaning of AMUSE in our Acronym Attic