Sign in

Monotonicity Constraints for Termination in the Integer Domain

Amir M. Ben-Amram
Published in: Log. Methods Comput. Sci. (2011)
Keyphrases
  • monotonicity constraints
  • ordinal classification
  • multi objective
  • neural network
  • sensitivity analysis