General

This site provides supporting material for the paper AC-KBO Revisited by Akihisa Yamada, Sarah Winkler, Nao Hirokawa, and Aart Middeldorp.

Experiments

• termination
  • different AC-KBO versions
  • influence of partial precedences
  • AC-KBO with subterm coefficients vs. linear polynomials
  • DPs + AC-RPO/AC-KBO with argument filterings
• normalized completion
  • different AC-KBO versions
  • AC-KBO with subterm coefficients vs. linear polynomials
  • termination strategies involving AC-KBO and DPs

Downloads

• TTT2 with AC-compatible orders
  • sources
  • binaries for 64 bit, 32 bit
• sources and binaries of mkbtt (including TTT2) can be obtained from the mkbtt website