Dallas Lankford

  • Citations Per Year
Learn More
A new class of non-negative integer basis algorithms for linear equations with integer coefficients is developed. Computer experiments with one of the new algorithms and comparisons with other non-negative integer basis algorithms are reported. When the total run times for collections of common simple examples typical of automated deduction applications are(More)
  • 1