Login / Signup

Testing for Termination with Monotonicity Constraints.

Michael CodishVitaly LagoonPeter J. Stuckey
Published in: ICLP (2005)
Keyphrases
  • monotonicity constraints
  • ordinal classification
  • logic programs
  • equality constraints
  • neural network
  • test cases
  • sensitivity analysis