Browsing by Subject "backtracking"

Now showing items 1-1 of 1

  • Reasoning Utility Package User's Manual, Version One 

    Unknown author (1982-04-01)
    RUP (Reasoning Utility Package) is a collection of procedures for performing various computations relevant to automated reasoning. RUP contains a truth maintenance system (TMS) which can be used to perform simple ...